摘要：我们能通过命令来推翻真理吗？对J.R.Lucas关于一阶Peano算术的非标准模型的评论的批判性说明
作者：Bhupinder Singh Anand
论文ID：math/0507046
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中