ゲーデルの不完全定理の解説で一番解りやすいのは僕の知る限り、『はじめての現代数学』（瀬山士郎
著）のそれだった。
以下引用です。

　　　　　　　　　　　　内容
　　 ｜　１,　　２,　　 ・・・, 　n,　　 ・・・
＿＿_｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
f1(y)｜f1(１)　f1(２)　・・・　f1(n)　　・・・
f2(y)｜f2(１)　f2(２)　・・・　f2(n)　　・・・
・　 ｜・　　　・　　 　・　　　・
・　 ｜・　　　・　　　 　・　　・
・　 ｜・　　　・　　　 　　・　・
fn(y)｜fn(１)　fn(２)　・・・　fn(n) 　　・・・
・　 ｜・　　　・　　　　 　　　・　　　 ・　　
・　 ｜・　　　・　　　　　 　　・　　　 　・　
・　 ｜・　　　・　　　　　 　　・　　　　 　・

　¬は否定だから最後につけ加えればよいから、ヨxP(x,n,n)について考えてみよう。これは、「ゲーデ
ル数がnである一変数 y を含む命題（すなわちfn(y) ）の変数 y に数nを代入した命題の形式証明のゲー
デル数となる x が存在する」という内容を持ち、したがって¬∃xP(x,n,n)はこれの否定、すなわち繰り
返しを嫌わずに書けば「ゲーデル数がnである一変数 y を含む命題の変数yに数nを代入した命題の形式
証明のゲーデル数となる x が存在しない」となる。
　ところが、ゲーデル数nを持つ一変数を持つ一変数yを含む命題とは fn(y)のことであり、fn(y)とはすな
わち¬ヨxP(x,y,y)であった。すなわち上の文章を簡単に書けば，「¬∃xP(x,n,n)の形式証明は存在しな
い」ということで「¬∃xP(x,n,n)は証明できない」ということになる。ところが、この「　」内の命題
こそ¬∃xP(x,n,n)に他ならない！
　ついにわれわれは「この命題は証明できない」のきちんとした数学的表現を入手すること に成功した
のである。

（略）