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