Timeline for Does there exist inconsistent axiom schemata which require arbitrary long proofs of their inconsistency?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 3, 2016 at 8:10 | answer | added | none | timeline score: -2 | |
| Aug 27, 2016 at 6:37 | vote | accept | CommunityBot | ||
| Aug 26, 2016 at 15:44 | answer | added | Noah Schweber | timeline score: 10 | |
| Aug 26, 2016 at 14:51 | history | asked | user94803 | CC BY-SA 3.0 |