Non-standard models are mathematically legitimate structures satisfying all Peano axioms, proving fi...
This proposition has not been edited since the history system was added.