New Foundations (introduced by Quine) proves that $AC$ is false. Out of curiosity, is $NF$ consistent with countable choice or dependent choice? What's the strongest consequence of choice still consistent with $NF$ and has it been localized at what point consequences of $AC$ become inconsistent with $NF$? Hope my question is clear. Thx.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
