“カフェ・ド・ロンリ”へようこそ。カントルの集合のパラダイス、そこから噴出したパラドックス。数学をゲームにするための論理式。巨星ヒルベルトを打ちのめした青年ゲーデルの不完全性定理。京都のどこかにあるという“カフェ・ド・ロンリ”で弾む会話を聞いているうちに、いつのまにかロマンあふれる集合や論理の世界に引き込まれ、数学の基礎づけをめぐる論争＝数学基礎論論争の一番面白いところが手に取るようにわかります。