무한 순서쌍 박아놓고 정렬 갈기면 되지않을까요?
정렬원리안쓰고 그거쓰면 뭔내용물인지모르자나
어떻게...는 AC 받아들이고 나서는 큰 관심 없지 않나. 만약 construct할 수 있으면 intuitionist들이 관심가지긴 할 듯?
근데 리만가설만큼 오래된 문제아닌가 기초론하는사람들 바보임?
ZFC에서 구성못한다는 결과가 잇던거 같은데
222 - dc App
ㄷㄷㅈㅅ
https://math.stackexchange.com/a/6504/315194- dc App
무한 순서쌍 박아놓고 정렬 갈기면 되지않을까요?
정렬원리안쓰고 그거쓰면 뭔내용물인지모르자나
어떻게...는 AC 받아들이고 나서는 큰 관심 없지 않나. 만약 construct할 수 있으면 intuitionist들이 관심가지긴 할 듯?
근데 리만가설만큼 오래된 문제아닌가 기초론하는사람들 바보임?
ZFC에서 구성못한다는 결과가 잇던거 같은데
222 - dc App
ㄷㄷㅈㅅ
https://math.stackexchange.com/a/6504/315194
- dc App