当然のことながら、ゲーデルの功績が
０）数学自身の無矛盾性が証明できないことを示したこと
だという人は、ゲーデルの証明を読んだことがないか、
読んだことはあるが、何をいってるのかわからなかった
人である。
後者には同情するが、前者は単に怠惰なだけである。