[일반] 우리가 쓰고있는 무리수+유리수들로 수직선을 채울 수 있음?

[익명(121.143)]

유리수랑 로그나 루트나 파이 등등으로 수직선을 꽉채울 수 있나? 아니라고 하면 우리가 모르는 그 수들을 모두 밝혀낼 수 있나?

- dc official App

[익명(39.119)]

안될거갗은제 - dc App

[익명(121.143)]

1번 질문에서? - dc App

[익명(39.119)]

ㅇㅇ 글고 후자도 안댈듯 알고있는 두 숫자 사이 전부 채우는거도 안될테니 - dc App

[익명(125.135)]

내가 정의한 수직선에선 안됨

[ㅅㄲㅁㅇ(borwein)]

https://en.m.wikipedia.org/wiki/Definable_real_number

[ㅅㄲㅁㅇ(borwein)]

at most countable한 종류의 기호를 at most countable하게밖에 못쓰니...

[익명(39.114)]

된다고 중학교에서 배우지 않냐? 나도 잘 기억이 안나네