For his thesis, he chose to produce an axiomatization of Cantor's set theory