「同値」概念を用いた「分類」法から説き起こし、美しい証明のための集合と論理、対称性の美学である群論、身近な線形代数学による連立方程式の美しい解法、さらには数学者の「心の目に見える数学の美しさ」までを披露。