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.