The central result on true arithmetic is the undefinability theorem of Alfred Tarski (1936).
真の算術での中心的な結果は、アルフレト・タルスキ (1936) の定義不可能性定理である。