Timeline for Peano axioms— mathematical induction and other axioms
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5, 2020 at 19:59 | comment | added | Curiosity | But, it is trivial that all we have to do is prove that 3 holds if 1,2,5 hold and 4 is false (for if 4 is true, we're done) so I'm asking "is there an elementary proof that 3 holds if 1,2,5 hold and 1 is a successor". I don't understand why you posted this as an "answer" when it's essentially a repeat of the question. I say this because making trivial modifications of a question and posting it as it it is an answer (or trivializing a question just so you can post an answer) is exactly the reason my colleague/advisor/mentor does not want anything to do with mathoverflow. | |
| Sep 4, 2020 at 12:04 | history | answered | Gerald Edgar | CC BY-SA 4.0 |