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