>>885
> 厳密に書いてあるから松坂君にもお勧め

解析学を厳密に展開しないと気が済まないのならば先ずは何をさしおいてもEdmund LandauのFoundations of Analysis, AMSChelsea（独語原書からの英訳版）を読むべきだね
因みにこのLandauさんは理論物理学教程で有名なLandauさん（どちらもファーストネームの頭文字はE）とは別人だよ

次に自分でこの本の内容をパソコン上で稼働する形式的証明チェッカー、例えばCoqとかの入力ソースを書いて掛けて形式化された証明を完全にチェックする
ここまでやれば現時点で現実的に到達可能な最高レベルの厳密さで書いた解析学の一番最初の基礎の部分が手に入れられる
数学を厳密にやりたきゃここまでやらないとね

逆に言えば定義・命題・証明すべてを完全に形式化してチェッカーにかけるのでなけりゃ、しょせんは「この本の書き方は厳密だ」とか「厳密じゃない」なんて言い争いは単なる子供の言葉遊び
数学ってその結果は演繹論理だけで組み上げられた科学（途中の「予想」とかはもちろん演繹論理じゃなくて帰納だったり仮説設定の賜物なんだが最終結果としての証明付の命題は演繹だけで組み上げられてるだろ）のプロが
「厳密」って言葉を言いたいならここまでやってこそ初めてその言葉を使う資格がある