作者vicks (吃喷)
看板W-Philosophy
标题Re: [问题] 再问哥德不完备性定理
时间Wed Jan 4 17:28:16 2006
: 无法从此系统推导出
: 但我想问的是 到底是哪一个或哪一些或哪一种真语句是不能在一阶逻辑系统中获
: 得证明压?
: 以下是我第三个蠢问题: 一阶算术的定义是啥呀? 有谁可以解答或举几个例子
: 来说明吗 谢谢 呵...然後 我也想顺便问一下一阶逻辑的定义呢?
http://episte.math.ntu.edu.tw/articles/mm/mm_10_4_06/index.html
里面有提到
很像是平常数学分析所用到的
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.120.226.40