Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created a new article, countable ordinal.
Thanks. I have added a bunch of hyperlinks in the first paragraphs and cross-linked with entries such as ordinal, finite set and natural number.
I added a bunch more links, some references, and some other stuff.
I was surprised to learn that we have no entry Peano arithmetic.
1 to 3 of 3