fundations of mathematical logic数理逻辑: mathematical logic基础: foundation; base; basis公式 (数理逻辑): formula (mathematical logic)句子 (数理逻辑): sentence (mathematical logic)量化 (数理逻辑): quantification下载手机词典可随时随地查词查翻译