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