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:40 | comment | added | Amir Sagiv | Hey, welcome to MO. This might be a good answer, but it is really hard to connect what you've written to the original post. I suggest that you edit your answer and write more details that connect what you've written to the original question. | |
| Sep 3, 2016 at 8:32 | review | Low quality posts | |||
| Sep 3, 2016 at 12:20 | |||||
| Sep 3, 2016 at 8:12 | review | First posts | |||
| Sep 3, 2016 at 8:40 | |||||
| Sep 3, 2016 at 8:10 | history | answered | none | CC BY-SA 3.0 |