Gödel's incompleteness theorems apply to specific formal systems; this doesn't establish that truth ...
This proposition has not been edited since the history system was added.