Timeline for What is the canonical way to extend Peano's axioms to the set of all integers?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 17, 2022 at 17:01 | history | edited | Greg Martin | CC BY-SA 4.0 |
changed to inclusive language
|
| Sep 17, 2022 at 10:41 | history | answered | Andrej Bauer | CC BY-SA 4.0 |