Content deleted Content added
m Reverted edits by Kokoriko to last version by Wik |
You don't need to write <> when you mean "is not equal". The symbol ≠ is available. |
||
Line 11:
*Every natural number ''a'' has a successor, denoted by ''a'' + 1.
*There is no natural number whose successor is 0.
*Distinct natural numbers have distinct successors: if ''a''
*If a property is possessed by 0 and also by the successor of every natural number it is possessed by, then it is possessed by all natural numbers.
| |||