「証明が不可能である」ことを、どのように証明したのか?「不完全性定理」の内容を、正確に理解するとともに、その証明のためのゲーデル・チューリング2人のアイデアを、できるだけやさしく紹介する。