数学科の基礎訓練と、物理や工学系のアプローチ（道具として使う数学）は異なるよね 最近はやりのSTEMは後者だから、前提条件の説明は長くなっても仕方ない

事情通に聞くと良い

ブコメが的外れすぎてウケる

自然数←ペアノの公理 整数(負の数)←グロタンディーク構成 有理数(分数)←整域の商体 実数←距離空間の完備化