first order logic的意思|示意
美 / fə:st ˈɔ:də ˈlɔdʒik /
英 / fɚst ˈɔrdɚ ˈlɑdʒɪk /
一阶逻辑