暂时查不到

mathematical logic

Wiktionary 没有响应，稍后再试。