用語一覧 /数理論理学 #数理論理学 9語 アブラハム・ロバンソン あぶらはむろばんそん アブラハム・ロビンソン あぶらはむろびんそん 一階論理 いっかいろんり 形式体系 けいしきたいけい ジュリア・ロビンソン じゅりあろびんそん 二階論理 にかいろんり フレーゲ ふれーげ ペアノ ぺあの 無矛盾性 むむじゅんせい