Set theory
ある意味でカントルの集合論の自然な公理化になっているような公理的集合論の体系を導入している。