It is not the case that Rosser's 1936 result shows weaker consistency suffices for incompleteness, but the specific claim about provable negations for all n retains sensitivity to the consistency assumption's justificatory source.
?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.