【ゲーデルの完全性定理】とか【ゲンツェンの無矛盾性証明】はどうすんの？
なんでそうもゲーデルの不完全性定理だけを取り上げようとする？