Gödel's incompleteness shows sufficiently expressive systems have truths unprovable within them, dem...
This proposition has not been edited since the history system was added.