Many syntactically simple statements remain provable; incompleteness shows only that some unprovable...
This proposition has not been edited since the history system was added.