真の算術

ウィキペディア

真の算術

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)

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