The proof that the universe of NF cannot be well-ordered itself presupposes the consistency of NF, w...