jaj•a•person's notes
Search
Search
Dark mode
Light mode
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