俺「高校の数学はまあまあできたし大学でもなんとかなるだろ」　講師「ε-δ論法」　俺「は？」

>>71
プログラミング言語の世界では型理論的な考え方はかなりポピュラーだし
その近辺では「図書館の索引」はとてもポピュラーな題材の一つなのだけど。
ラッセルのパラドックスの核心部は、型理論的な視点から見るととても混乱した考え方だから上記題材ではスマートな説明が難しい、
というニュアンスを伝えようとしたんですけどね。

雑談を超えるきちんとした説明は他にいくらてもあるし。