⚛️Igor Kan

Tag: logic

6 items with this tag.

Jul 24, 2026
Axiom Schema
- logic
- set-theory
Jul 24, 2026
First-Order Set Theory
- set-theory
- logic
Jul 24, 2026
G�del''s Incompleteness Theorems
- logic
- foundations
Jul 24, 2026
L�wenheim�Skolem Theorem
- logic
- set-theory
Jul 24, 2026
Simple Type Theory
- logic
- type-theory
Jul 24, 2026
Skolem Paradox
- logic
- paradox

Email
GitHub
X (Twitter)

Created with Quartz v4.5.1 © 2026