ゲーデルの不完全性定理とタルスキの定理(外部記事)
http://dep.chs.nihon-u.ac.jp/philosophy/faculty/iida/doc/Goedel_and_Tarski.pdf
飯田 隆
Gödelの第1不完全性定理
に広く割かれた記事
珍しいことに
Tarskiの真理概念
と
Tarskiの真理概念を使ったGödelの不完全性定理
にも言及している
Gödelの第2不完全性定理
にも最後で少し触れている
論理・数学・言語
というシリーズの11巻と書かれている
#外部記事
?
#論文
?
#Gödelの不完全性定理RTA