Set theory
公理的集合論ではまず集合論を形式化する。次にいかなる形の集合が存在するかを公理によって規定する。