The argument from Cantor's Theorem assumes ZFC-style comprehension, but NF restricts comprehension v...