この数学エッセーでは, 数学の証明の無駄の省き方について, 数学基礎論の立場で, 紹介します. ここでは, 例として ZFC の公理系について論じますが, 他の形式的体系についても同様です. 実は, 数学では, ZFC から命題 A を証明した時に, その証明に無駄があ…

中国語を勉強していて、なんか面白いと思ったこと。 スパゲッティを意味する中国語を、日本語に直訳すると、 『イタリア麺』 なるほどねえ。