Masahiko Saito Knihy

本書は数学科むきの教科書ないし自習書である。数学科の学生はがっちりした実数論をまなぶ必要がある。ところが、実数体の存在証明、すなわち有理数体からの完備化による実数体の構成をきちんとかいた本は意外にすくない。そこで、本書ではくどいくらい丁寧に実数論を展開した。また、実数論の入りくちとして自然数論には公理を提示し、直観にたよらなくても、公理からすべてが演繹されることを示した。これにより、付録の公理的集合論で定義される形式的自然数から、全数学が展開されることがわかる。