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