A set theory introduced by W.V.O. Quine in 1937. Not yet proved consistent, as far as I know.
NFU ("New Foundations with Urelemente"), and several other NF variants,
been proven consistent; see <
>. "Urelemente" is the German word for "atoms", i.e. entities that do not have any members or structure, but are distinct from each other (like Lisp atoms). These are quite useful for
applications, e.g. you can use NFU as a type system in which some of the language's objects are modelled as Urelemente, and with the types
) corresponding to the
respectively. See also
is based on NFU.
of this page (last edited
August 21, 2005
with title or text search