[일반] 실수에 정렬순서를 주는 구성적증명은 존재하지않음?

[익명(118.235)]

선택공리랑 동치라는데 그럼 절대 구성적으로 증명할수없음(실례를 찾을수없음) 이 증명된거야?

- dc official App

[익명(143.248)]

zfc로 표현불가능이 알려져있다 카더라

[dd(125.138)]

https://math.stackexchange.com/questions/6501/is-there-a-known-well-ordering-of-the-reals
이거참조