>>653
くどいのだが、そうしたなんとかパラドックスが「不完全性定理の証明
に使われている」ということはないよね。