期刊名称：Proceedings of the National Academy of Sciences
印刷版ISSN：0027-8424
电子版ISSN：1091-6490
出版年度：1975
卷号：72
期号：8
页码：2877-2878
DOI：10.1073/pnas.72.8.2877
语种：English
出版社：The National Academy of Sciences of the United States of America
摘要：Any recursively enumerable extension of intuitionistic arithmetic which obeys the disjunction property obeys the numerical existence property. Any recursively enumerable extension of intuitionistic arithmetic proves its own disjunction property if and only if it proves its own inconsistency.
关键词：intuitionism ; arithmetic ; formal systems ; self reference
