Any purely procedural account must identify what a procedure produces with what is true, but Gödel's...
This proposition has not been edited since the history system was added.