ドキドキしながら解読中。 <br />「美しい数学」の非ユークリッド空間の <br />「形式的公理系」の章で紹介された本です。 <br /> <br />よく考えてみると、なんだ、普段の仕事（工程管理）と <br />同じみたいです（笑） <br /> <br />どこまで抽象化と厳密性を高められるか、数学の力を借り <br />ながら突き進みたいと思います。