Timeline for Alternative axiom to induction
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2013 at 14:08 | comment | added | Charles Stewart | Not quite: you need an axiom to do non-inductive case reasoning on naturals in Q. | |
| Jun 25, 2013 at 3:02 | review | Late answers | |||
| Jun 25, 2013 at 14:08 | |||||
| Jul 8, 2010 at 14:24 | history | answered | user5818 | CC BY-SA 2.5 |