No.12987545 ViewReplyOriginalReport
If incompleteness only arises because of the unprovability of infinitely many self-referential propositions of roughly the form "This sentence is not provable", who cares? When will mathematicians ever care about those types of propositions? Am I missing something?