We identify 'natural numbers' through practice and semantics, not through formal provability; non-st...
This proposition has not been edited since the history system was added.