Incompleteness theorems prove syntactic facts: unprovable sentences exist within formal systems, reg...
This proposition has not been edited since the history system was added.