Gödel's incompleteness theorems prove true sentences exist unprovable in any consistent formal syste...
This proposition has not been edited since the history system was added.