zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
화학 owl의 Air,pro,evo 난이도 알려주세요….
-
수능까지 4등급 꼭 찍거 싶은데 대체 뭘 해야할까요.. 독서는 국일만 노베 2회독...
-
히카19회92점 2
행복하다 진짜존나행복하다
-
화요일엔 라흐마니노프 피협 들으러 갔었고 일요일엔 차이콥스키 바이올린 협주곡이랑...
-
박광일 강의는 솔직히 궁금하긴 햇서
-
암만봐도 그럼
-
국어 권규호 김민정 수학 정승제 신승범 이미지 영어 심우철 강원우 사탐 최적 이남승...
-
저는 올해 고3입니다~ 재수를 결정하게 되었구요.. 한 마디로 허수입니다..ㅎㅎ;;...
-
국어 잘하는애들이 문제 빤히 쳐다보더니 그냥 푸는게 눈알굴리는게 아니라 이해를...
-
한능검 D-2 1
대학생 되니까 입시생처럼 하루종일 공부하고 이러는 게 쉽지가 않네... 나 작년에...
-
수학만점인사람들 3
님들도 84~88 실력일때가 있었을거아님 여기서 어캐올림 그냥 많이풀면 뭐가 느껴지는거임?
-
하니 국감 나온 이유 : 무시해라고 했는데 대표가 매니저 질타 안하고 3
제대로 대처 안해줘서…… 이거 맞음…..? 그리고 막판에 선즙필승….-> 어른들한테...
-
브루노 마스 델꼬와서 뭔지랄을 하는거임 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
쿠쿠리님 혹시 나이가 어케되심
틀딱임