Pages that link to "Definition:Ordering on Natural Numbers/Von Neumann Construction"
Jump to navigation
Jump to search
The following pages link to Definition:Ordering on Natural Numbers/Von Neumann Construction:
Displayed 3 items.
- Natural Numbers are Comparable/Strong Result (← links)
- Definition:Ordering on Natural Numbers (transclusion) (← links)
- Definition:Ordering on Von Neumann Construction of Natural Numbers (redirect page) (← links)
- No Natural Number between Number and Successor (← links)
- Inductive Set under Mapping has Minimally Inductive Subset (← links)
- Natural Numbers are Comparable/Strong Result (← links)
- No Natural Number between Number and Successor/Proof using Von Neumann Construction (← links)
- Natural Number m is Less than n implies n is not Greater than Successor of n (← links)
- Natural Number m is Less than n implies n is not Greater than Successor of n/Proof using Von Neumann Construction (← links)
- Natural Number Ordering is Preserved by Successor Mapping (← links)
- Natural Number m is Less than n iff m is an Element of n (← links)
- Trichotomy Law for Natural Numbers (← links)
- Natural Numbers are Comparable/Strong Result/Proof 1 (← links)