Gödel sentences are mechanically constructible and their unprovability is mathematically rigorous, n...
This proposition has not been edited since the history system was added.