It is not the case that Without a prior commitment to a privileged interpretation of arithmetic, 'true but unprovable' collapses into 'unprovable in this system but provable in an extension'—a far weaker claim.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.