Peano's successor function
70369
Why do we use von Neumann ordinals and not Zermelo ordinals?
63618
Can all ordinals be obtained by taking successors and countable limits?
2396
Order-preserving injections of ordinals into $[0,1]$
105686
Time-ordered operator in Srednicki
108321
On the problem $1$ of Putnam $2009$
57398
Where does TREE(n) sit on the Fast Growing Hierarchy?
52856
Taylor's Theorem with Peano's Form of Remainder
148790
Basic question about proofs with the goal $\exists x P(x)$
77189
Prolog successor notation yields incomplete result and infinite loop
98559
subtlety of self-defined function and its evaluation
153692
Generating and solving recurrence relations
121732
Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$
116806
Find the weak sequential closure of a set in $L^2(-\pi,\pi)$
8255
Real polynomials from repunits to repunits ( Putnam 2007 A4)
154324
preservation of completeness under homeomorphism
42048
Markov's paper on insolubility of the homeorphy problem
33851
Generalizing a sequence.