誰か
「古典論理学の数学的方法」
の題で
１．ゲーデル
２．コーエン
３．マクレーン
４．付録
という章立てで本を書かないか？