"数学では世界を一から作るため。その世界には、定義として定めたことがら、公理として導入した事柄、定義と公理、そして既知の定理より証明された事柄以外は、存在していない。 た とえるならば、「むかしむか..."

数学では世界を一から作るため。その世界には、定義として定めたことがら、公理として導入した事柄、定義と公理、そして既知の定理より証明された事柄以外は、存在していない。

た とえるならば、「むかしむかし、あるところに山があり、おじいさんとおばあさんがいました。」と世界を定義したならば、「ある日、おばあさんは川へ洗濯 に」という発言に対して、「意義あり！川の存在は言及されていないので、川は存在しないはずです。」というのが、数学の世界。「そこは、読み取ってよ！」 というのは通りません。