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