jaj•a•person's notes

Tag: m/def/set/nbg

See NBG.

7 items with this tag.

  • Axiom of Extensionality

    • public
    • m/def/set/zf
    • m/def/set/nbg
    • state/tidy
    • lang/en
    • sembr
  • Axiom of Pairing

    • public
    • m/def/set/zf
    • m/def/set/nbg
    • state/develop
    • lang/en
    • sembr
  • Axioms of Permutation for classes

    • public
    • m/def/set/nbg
    • state/develop
    • lang/en
    • sembr
  • Complement Axiom for classes

    • public
    • m/def/set/nbg
    • state/tidy
    • lang/en
    • sembr
  • Elementhood Relation Class Axiom

    • public
    • m/def/set/nbg
    • state/tidy
    • lang/en
    • sembr
  • NBG

    • public
    • m/def/set/nbg
    • state/stub
    • lang/en
    • sembr
  • Universal Relation Axiom

    • public
    • m/def/set/nbg
    • state/tidy
    • lang/en
    • sembr

Created with Quartz v4.5.2 © 2026