⚛️Igor Kan

Tag: logic

6 items with this tag.

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

Email
GitHub
X (Twitter)

Created with Quartz v4.5.1 © 2026