真の算術
数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th(\mathcal{N}) のことである (Boolos, Burgess, and Jeffrey 2002:295)。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。
モデル理論的性質
真の算術は不安定な理論であり、そのため非可算濃度 \kappa ごとに 2^\kappa 個のモデルを持つ。この理論は完全なので、そのすべてのモデルは初等的同値である。
二階算術の真の理論
二階算術の真の理論は二階算術の言語において二階算術の標準モデルによって充足されるすべての文からなる。二階算術の標準モデルはその一階部分が構造 \mathcal{N} であり、その二階部分が \mathbb{N} のすべての部分集合からなる。
一階算術の真の理論 Th(\mathcal{N}) は二階算術の真の理論の部分集合であり、Th(\mathcal{N}) は二階算術で定義可能である。しかし、ポストの定理の解析的階層への一般化により、二階算術の真の理論は二階算術のいかなる単一の論理式によっても定義可能でないことが示される。
Simpson (1977) は二階算術の真の理論は、半順序のシグネチャにおいて、すべてのチューリング次数の半順序の理論と計算可能な解釈が可能であり、その逆も成り立つことを示した。