>>546
＞最小限の実数論さっさとやって、その後に厳密な実数論やる方が賢い
厳密な実数論ってどんなやつ？有理数から切断で作ったりとか、コーシー列使っって作るのは
最小限の実数論なの？今、厳密な実数論って言うとどんなやつなの？