Kemeny se doctoró en 1949 con una disertación titulada "Type-Theory vs Set-Theory".