現在２０２２年４月１７日１７時４１分である。
麻友さん。私達が、正式に、自然数を、１９９４年などというように、使えるように、なりました。
あまり、エレガントには、行かなかったので、不満も残ります。でも、暫定的にでも定めておかないと、先に進めないことも、あるのです。例えば、ブルバキは、整数は『集合論 ２』、有理数は『代数 １』で、定義していますが、実数は、『集合論１～３』、『代数１～７』、の後、『位相１～２』まで進むまで、定義できませんでした。でも、例では頻繁に、実数を使っています。
『例で使うなら、一応定義しておきたい』というのが、私達の立場としましょう。
それでは。
現在２０２２年４月１７日１８時００分である。おしまい。
