⚛️Igor Kan

Tag: axiom

13 items with this tag.

  • Apr 16, 2026

    Separation Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Union Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Axiom of Choice

    • set-theory
    • axiom
  • Apr 16, 2026

    Comprehension Axiom (Invalid in ZFC)

    • set-theory
    • axiom
    • paradox
  • Apr 16, 2026

    Axiom of Constructibility (V = L)

    • set-theory
    • axiom
    • constructibility
  • Apr 16, 2026

    Axiom of Determinacy (AD)

    • set-theory
    • axiom
    • determinacy
  • Apr 16, 2026

    Empty Set Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Extensionality Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Foundation Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Axiom of Infinity

    • set-theory
    • axiom
  • Apr 16, 2026

    Pairing Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Power Set Axiom

    • set-theory
    • axiom
  • Apr 16, 2026

    Replacement Axiom

    • set-theory
    • axiom


  • Email
  • GitHub
  • X (Twitter)

Created with Quartz v4.5.1 © 2026