>>573
でも、たいがいの微積分の本には実数の構成法も曖昧だし、
アルキメデス的完備順序体の一意性も書いてないから、
俺はいつも不安になるw