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