1957年、アルフレト・タルスキの指導のもと、公理的集合論に関する論文で博士号を取得。