Kemeny, J. George. (1949). <i>Type-theory vs. set-theory.</i> .