31＝35＝Stromdorf？

個人的には、厳密であればいい、とは思わない。

ＧＥＢは、よくある「この文は証明できない」というような
いい加減な解説でなく、ゲーデルが実際にやったことを
クワイン文という形で、明確に示した点が評価できる。
ただ、なにぶん厚い本なので、多くの読者がそこまでいかない
うちに挫折するのが難点だが（笑）

あと、ＤＮＡの話をただのヨタ話として聞く人は、
数学以外に何の興味もない偏狭な人だろう。