무리수에 오더를 어떻게 줌? 존재성만 증명한거임?
선택공리가 모든 집합에는 순서를 줄 수 있다는 것과 동치래

- dc official App