1922年と1925年にはエルンスト・ツェルメロの公理系の改良を目指した論文を発表し、これは今日ツェルメロ・フレンケルの公理系(zf)と呼ばれている。