ScholarLink (思领科)
错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Peano Arithmetic and Recursive Functions

  • 章节

  • 发表日期：

    2024年

查看全文
  • Serafim Batzoglou

摘要

Gödel’s incompleteness theorems apply to any axiomatic system that is powerful enough, a notion that will become precise in this chapter. Peano Arithmetic (PA) is a natural choice of an axiomatic system to discuss the theorems and will serve as our model axiomatic system for Chaps. 3 , 6 , 7 , 8 , and 10 .