數理 數理-後設理論 數理-基本概念 邏輯哲學 邏輯哲學-基本概念 12/27/2019 10:39:00 上午 純粹語法推論 Photo by Thomas Jensen on Unsplash 假設有套語言只有 a, b, c 三個符號,以及由這三個符號組成的符號串(符號可重覆、符號串不一定有齊三個符號)。這套語言可以做推論,它有一條公理和三條推論規則: 公理:cabcba a-規則:如果第一個...