「真の算術」の版間の差分
削除された内容 追加された内容
←新しいページ: 'en:True arithmetic 2010年5月11日 (火) 18:47 (UTC) の版より翻訳 数理論理学において、'''真の算術''' ({{lang-en-short|'''true arithm...' |
m編集の要約なし |
||
1行目:
[[数理論理学]]において、'''真の算術''' ({{lang-en-short|'''true arithmetic'''}}) とは一階[[ペアノ算術]]の[[シグネチャ (論理学)|言語]]における[[自然数]]の[[理論 (数理論理学)|理論]] Th(<math>\mathcal{N}</math>) のことである (Boolos, Burgess, and Jeffrey 2002:295)。[[タルスキの定義不可能性定理]]はこの理論が算術的に定義不可能であることを示している。
113 ⟶ 111行目:
[[Category:形式言語]]
[[Category:形式科学]]
[[en:True arithmetic]]
| |||