從這些邏輯符號的序我們可訂下一個算. 術公式, 再來討論這個公式是否真的可正規. 代表系統, 而這個系統是否具一致性與完備. 性。 例如:a + a = a · a ⇔ 225 · 317 · 525 ·.
確定! 回上一頁