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