タルスキの定義不可能性定理とは？ わかりやすく解説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/09/01 15:58 UTC 版)

タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論^{[要曖昧さ回避]}における重要な限界を示した結果である。大まかに言えば、この定理は算術的な真理を算術内で定義することはできないことを主張する。