It is not the case that Mathematical facts about what is unprovable in PA remain invariant regardless of how we notate provability—convention affects expression, not truth.
?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.