Ph B - Set Theory
See
http://plato.stanford.edu/entries/quine-nf/
xeny.net