「有界で単調な実数列は収束する」……(*)から始めて
今後の議論で必要な実数の性質を証明するのは、
要はそれが実数論みたいなものだけどね


一番自明な感じが強いから(*)から始めるのには賛成だけど