723 B
723 B
title, created, updated, type, tags, sources
| title | created | updated | type | tags | sources |
|---|---|---|---|---|---|
| 皮亚诺算术 (Peano Arithmetic, PA) | 2025-04-15 | 2026-05-01 | concept |
皮亚诺算术 (Peano Arithmetic, PA)
- 领域: 数理逻辑、数学基础
- 来源: godel-incompleteness-tutorial
概述
皮亚诺算术是godel-incompleteness-theorems中最常使用的形式系统。它是基于一阶逻辑的算术公理系统，包含常数 0、后继函数 S、加法 + 和乘法 ·，以及归纳公理模式。
📌 占位符页面 — 待补充完整内容。
相关概念
godel-incompleteness-theorems · godel-numbering · hilberts-program · formal-systems