It is not the case that Rosser's 1936 strengthening shows simple consistency suffices, yet this move introduces its own metatheoretic commitments that are not internal to 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.