This is an old revision of the document!

Set cardinality

Set

context $X$ … set
definiendum $ \left|X\right|\equiv\mathrm{inf}\{\alpha\ |\ \alpha\in\mathrm{Ord}\ \land\ \alpha\approx X\} $

Discussion

Reference

Wikipedia: Cardinal numbers, Cardinal assignment, Von Neumann cardinal assignment

Parents

Element of

Ordinal number

Context

Non-strict partial order, Bijective function

Link to graph
Log In
Improvements of the human condition
limeGraphxioms