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