zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
답 개수 맞춰주나요???
-
고사장 언제나옴? ㅡㅡ
-
이게맞나
-
어딧는 학굔지 잘 모르겠는데 걍 내일 일찍 가면 되나 애들은 가본다는데 차피 안에...
-
ㅇㅇ
-
의복 양식은 물질 문화임 비물질 문화임? 사문 사회문화 윤성훈
-
국어 70초반 80중반 진동 엄청햇네요… 제발 2만 떳으먄 ㅜㅜㅜ
-
진짜 절대안가야지 최저떨어져서 안가는거말고ㅋㅋ
-
왜 우리집와서 하는고야 얘드라... 제발잘보자 ㅠㅠ
-
좋다 가보자
-
떴다 그건 바로 너! 다들 행운이 있길 바랍니다! 찍는거 다 맞으시길
-
쓸만함?
-
ㅠㅠ
-
아침에 반바지에 반팔 겉옷 입고가도 크게 무리 없을듯..?
-
Ptsd 온다. 잊지 아니함이 아니하다 ㅇㅈㄹ
-
수능 느낌나는 모든 순간이 좆같다 후….
-
69는 보통 2등급 성적이었고 올해도 대부분의 시험지들이 81~87안으로 들어오는...
-
짝 0
뷰랄 ㅅㅂ
-
진화론 순환론 둘다 단기적변화설명x 장기적변화설명o 맞나요?
-
짝수 영어 0
짝수형 영어는 어떡해요…? 저 영어를 진짜 못하는데… 찍기특강만 믿고 살아온...
-
수험장 모교라서 3
집에서 걸어가기
-
정법 단권호ㅓ 1
다람쥐님 단권화 있었던 것 같은데 내리셨나용 ㅠ?ㅠㅠ
-
이육사 노정기 1
반성 맞죠? 되돌아본거니까
-
사실 현역땐 안설레고 존나게 불안만 했는데 이제 이 짓 안할거 생각하니까 설렘
-
내년 군수 전에 영어 등급만이라도 올리려 논술이랑 같이 신청했는데 바쁘다 보니...
-
저도 평상시 했던거처럼 운동 2시간 하고 2딸칠거임 ㅇㅇ
-
배부 15시까지 아니냐..?? 왜 내 모교는 13시까지야 씨발... 나 모르고...
-
어떻게 살아야 할지 고민하게 되었다는 건 올해의 정말 큰 발전이다 불안한건 마찬가지지만
-
일단 나 ㄹㅇ 필요도 없는데 굳이 가야되나 싶음 ㅋㅋ
-
진심 노노아 대극호인데?
-
뭘까 이 감정은......
-
내일 고사장 가서 받아야겠네 9월에 접수할때 알려준거 새까맣게 까먹고 있었네;;
-
https://youtube.com/shorts/efPRbvlpMSA?si=EI8gk...
-
젤 먼곳이 차로 10분임
-
쉽다고 풀었는데 독서 왤케 많이 틀렸지…
-
예비고3인데 차영진 쌤 현강 수업을 들을려고 하는데 모고 4등급짜리가 들을 수 있나요?
-
샤프심통 갖다가 슥슥슥 그어놔야 국룰이징
-
그래 인테리어 철거 전날 하는거까진 어떻게 이해해 보려고 햤음 근데 바닥에서...
-
6,9모나 다시 쳐보는게 나으려나?
-
이거지 ㅋㅋㅋㅋㅋ
-
신경쓰이는거있으면 습관적으로 쓰게돼서..
-
진짜 진지함.. 진심으로 고민중임
-
4합5 ㅆㅃ
-
혐오의 시대다 2
사랑하자
-
[예열용] 대공황 경제지문 연계대비(MDeet)-pdf 2
벌써 내일이 수능일이네요, 다들 그동안 최선을 다했으리라 생각됩니다. 예상보다...
-
잇올짐뺌 3
둑을뻔
-
상상 베오베 4회 75 히카 32회 92 괜찮아 내 커하는 수능이니까.
-
이번에도 믿고 둘 다 건드려야할까.. 아님 빈칸 31을 건들까..
-
푼문제 안푼문제 정확하게 하려고 한세트 끝날때마다 컴싸로 마킹 + 못푼거...
-
ㅎㅇㅌ
쿠쿠리님 혹시 나이가 어케되심
틀딱임