ゲーデルは何を証明したか―数学から超数学へ
¥ 2,420