ゲーデルは何を証明したか: 数学から超数学へ

このページは個人的な覚え書きです。