リーバー(2011)は、現代数学のエッセンスをわかりやすく説明する中で、現代数学では幾何学も「図｣ではなく「論理」の問題であることを示している。紀元前300年という昔にエウクレイデスによって整理されたユークリッド幾何学は、片手で数えられるほどの「自…