jaj•a•person's notes
Search
Search
Dark mode
Light mode
Tag: m/def/set/zf
See
ZF.
10 items with this tag.
Axiom of Extensionality
public
m/def/set/zf
m/def/set/nbg
state/tidy
lang/en
SemBr
Axiom of Foundation
public
m/def/set/zf
missing/proof
state/tidy
lang/en
SemBr
Axiom of Infinity
public
m/def/set/zf
state/tidy
lang/en
SemBr
Axiom of Pairing
public
m/def/set/zf
m/def/set/nbg
state/develop
lang/en
SemBr
Axiom of Union
public
m/def/set/zf
state/tidy
lang/en
SemBr
Axiom Schema of Replacement
public
m/def/set/zf
state/tidy
lang/en
SemBr
Emptyset Axiom
public
m/def/set/zf
state/tidy
lang/en
SemBr
Powerset Axiom
public
m/def/set/zf
state/tidy
lang/en
SemBr
Specification Axiom Schema
public
m/def/set/zf
state/tidy
lang/en
SemBr
ZF
public
m/def/set/zf
state/tidy
lang/en
SemBr