It is not the case that Hence the unprovability result is sensitive to the choice of provability predicate, making the claim contingent rather than an absolute limitative result about F.
?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.