It is not the case that The proof that the universe of NF cannot be well-ordered itself presupposes the consistency of NF, which remains unproven for decades after Quine's 1937 formulation.
?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.