: 無法從此系統推導出
: 但我想問的是 到底是哪一個或哪一些或哪一種真語句是不能在一階邏輯系統中獲
: 得證明壓?
: 以下是我第三個蠢問題: 一階算術的定義是啥呀? 有誰可以解答或舉幾個例子
: 來說明嗎 謝謝 呵...然後 我也想順便問一下一階邏輯的定義呢?
http://episte.math.ntu.edu.tw/articles/mm/mm_10_4_06/index.html
裡面有提到
很像是平常數學分析所用到的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.120.226.40