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

This page is a personal draft to self.