真の算術

数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {\mathcal {N}}} ) のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。

この神経はここで途切れています。