這些被實作出來的 axioms 比「普通英語」形式的 axioms 還要更精確得多。基本上,我們可利用「一階謂詞邏輯( first - orderpredicatelogic )」來表達這些虛擬 axioms 。
確定! 回上一頁