Set theory
公理的集合論におけるクラス.