ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
数理論理学
自然言語のもつあいまいさ及び論理的不十分さを避けるために選定された人工言語を用いて,正当な論証及び演算を行う学問分野.
出典:Wiktionary
mathematical logic (usually uncountable, 複数形 mathematical logics)
Mathematical logic