In an axiomatic system A, how do you define true or false for


所有跟贴·加跟贴·新语丝读书论坛

送交者: steven 于 2007-12-21, 13:04:20:

回答: 只有数学可以自己定义对错 由 eddie 于 2007-12-21, 12:59:47:

the statement "This statement is not provable in A"?



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明