|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
natural numbers are well-ordered
|
(Theorem)
|
|
| NaturalNumbersAreWellOrdered |
"natural numbers are well-ordered" is owned by pahio.
|
|
(view preamble | get metadata)
Cross-references: number, imply, induction, element, subset, least number, contains, natural numbers, theorem, integers, positive, property, proofs
This is version 3 of natural numbers are well-ordered, born on 2009-09-25, modified 2009-09-26.
Object id is 11921, canonical name is NaturalNumbersAreWellOrdered.
Accessed 215 times total.
Classification:
| AMS MSC: | 03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
