Timeline for Proof of second incompleteness theorem for Set theory without Arithmetization of Syntax
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 16, 2022 at 20:06 | history | answered | Andrej Bauer | CC BY-SA 4.0 |