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

This is a semi-public garden page — a draft, left open on purpose.