数学ガールの秘密ノート／数を作ろう 作者:結城 浩 SBクリエイティブ Amazon 学生の頃に「1＋1＝2を証明する」というのがあって、整数を作り、加算を定義し、存在だの一意性だのを一つずつやっていくという面倒極まりない話をやったが、同じような話題を扱っ…