jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/thm/set
See
Set theory MOC.
7 items with this tag.
Axiom of Intersection
public
m/thm/set/zf
state/tidy
lang/en
sembr
Canonical decomposition
public
m/thm/set/naïve
state/develop
lang/en
sembr
Class existence theorem schema
public
m/thm/set/nbg
missing/proof
state/develop
lang/en
sembr
Russell's paradox
public
m/thm/set
state/tidy
lang/en
sembr
The intersection of nested inhabited sets may be empty
public
m/thm/set/naïve
state/tidy
lang/en
sembr
Upper bound on the cardinality of an arbitrary union
public
m/thm/set
missing/proof
state/develop
lang/en
sembr
Zorn's lemma
public
m/thm/set/zfc
state/develop
lang/en
sembr