This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
The question was, of course, not very clear to start with, but I interpret it as asking “what if we have a theory T that includes the axiom that there is a statement that is unprovable from T?” (not just unprovable from the other axioms). Such a T can be written by the usual self-reference trick …
2025-07-04T06:45:06.136Z