shù lǐ luó jí / shù lǐ luó ji数理逻辑mathematical logic; symbolic logicFrequency 1.5Meaningsmathematical logicsymbolic logic