お買いもの

ゲーデルに挑む: 証明不可能なことの証明

　仙台ロジック倶楽部の成果ということか。