浅田章氏はゲーデルもグロタンディークも理解しています。