>>560
色々検索しても出てこなかったが、
サーティ編「現代の数学 III」（岩波）第一章に出ていた。
君が良く行く図書館にこれがあることを祈る。