Set theory
集合論（意味論的特徴づけ）.