ZF공리 체계에선 무한 기수를 딱히 수로 표현 못해서?
[일반] 연속체 가설이 왜 ZF공리 체계랑 별개임?
익명(118.235)
2022-03-11 11:15
추천 0
댓글 4
다른 게시글
-
특이한 풀이? 재밌는 풀이 생각나는 있음?[일반] 디시고닉전..(monmusu20) | 22.03.11추천 0
-
그냥 심심해서 수학전공강의 듣고있는데 [12][일반] 익명(89.71) | 22.03.11추천 3
-
로직만 이용해서 2진수 더하기. [1][대학교이상] 익명(72.33) | 22.03.11추천 0
-
진짜 어떻하지 [1][일반] oo(121.154) | 22.03.11추천 0
-
Rudin 뒷내용 필요한 선대량 [1][일반] OO(223.38) | 22.03.11추천 0
-
실수의 체 공리에서 [2][일반] 5둥리카일..(lillollool) | 22.03.11추천 0
-
스튜어트 미적문제 PROBLEM PLUS [3][일반] ㅇㅇㅁ(58.233) | 22.03.10추천 0
-
이런 증명은 잘못된 방법임? [4][일반] 익명(211.104) | 22.03.10추천 0
-
인생 좆망한거같네[일반] 익명(119.202) | 22.03.10추천 0
-
IMO 문제 하나 찾습니다.. [10][중고딩문제] Rafle(probaroque) | 22.03.10추천 2
ZF에서 연속체 가설을 참이라고 하거나 거짓이라고 해도 모순인게 없어서.
참이든 아니든 왜 모순이 없음??
그니까 독립적이라는거임. ZF + Continuum이나 ZF + ㄱContinuum이나 문제가 없거든
ZF+V=L에서는 증명가능하고, ZF+MM에서는 반증가능해서.