加藤(2008)は、数学が持つ美しさには、対象性やシンプルさといった「空間的」なもの（視覚的なもの）の他に、「時間的」なものがあると思うという。それは特に、証明などの「論理」の構造に感じられ「流れ」として認識される。例えばユークリッド幾何学の芸…