数すう学がく的てき論ろん理り学がくすうがくてきろんりがくMeanings1nounmathematical logicAcademic field that studies formal logical systems using mathematical methods; synonymous with 数理論理学.数すう学がく的てき論ろん理り学がくは、命めい題だい論ろん理りや述じゅつ語ご論ろん理