第2章　ペアノ算術 2.1　論理式 2.2　証明 2.3　PA の基本的な証明能力 2.4　∑1 完全性 2.5　表現可能性 2.6　PA 以外の理論

第2章　ペアノ算術 2.1　論理式 2.2　証明 2.3　PA の基本的な証明能力 2.4　∑1 完全性 2.5　表現可能性 2.6　PA 以外の理論

Paper

Send by email

Address

Subject

Details

Publishing material
不完全性定理と算術の体系, p. 59-75

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo