集合論
集合論の形式では次のようになる。