集合論(意味論的特徴づけ).