Quine's NF (New Foundations) is a consistent set theory in which a universal set exists without viol...