News for hackers. Stuff that matters.
Re:Foundations of Mathematics (2015) [pdf] by Retra on Monday June 03, 2019 @11:05AM (#20083876)
The Peano axioms don't do very much, they just help model the natural numbers. You still need something to model the logic and provide foundations more complex subjects like analysis.

There are no comments on this comment yet.