>>532
コーシー列の同値類で構成する方法だって、集合論だし論理的だよ。
俺はこっちが好きだぞ。