⚛️Igor Kan

Tag: logic

6 items with this tag.

  • Jun 05, 2025

    Axiom Schema

    • logic
    • set-theory
  • Jun 05, 2025

    First-Order Set Theory

    • set-theory
    • logic
  • Jun 05, 2025

    G�del''s Incompleteness Theorems

    • logic
    • foundations
  • Jun 05, 2025

    L�wenheim�Skolem Theorem

    • logic
    • set-theory
  • Jun 05, 2025

    Simple Type Theory

    • logic
    • type-theory
  • Jun 05, 2025

    Skolem Paradox

    • logic
    • paradox


  • Email
  • GitHub
  • X (Twitter)

Created with Quartz v4.5.1 © 2025