zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
(단, n은 1, 3 중 하나이다)
-
와 잘뻔했네 6
피곤해서 잠깐 누웠는데 잘뻔한 순간에 내일이 수능이지 하면서 깼네요 한 10분정도 잔거같기도하고..
-
수이팅 8
준비해온거 다 쏟아붓고 오십셔 그럼 잘 볼거라고 믿음요 일단 저처럼 망하지만 않으면 됨 암튼 수이팅
-
쉬는 시간 아니고 텀있을때 감독관님께 말히면 보내주나요?? 그리고 만약에 시험도중...
-
초침소리남 이거 ㄱㅊ?
-
"반대가 끌리는 천만번째 이유를" 이거 "난 네가 끌리는 천만번째 이유를"로 알고...
-
23수능 24수능 25수능 3년연속 같은 학교로 보내네..
-
2년 전이지만… 올1 기운 받아가세유 찍은 거 다 맞히길!
-
ㅇㄱ ㅈㅉㅇㅇ? 정말? 마지? 리얼?
-
홀몬수 침대
-
벌어지는 상황인 것 같네요 지거국보다 밑에 있는 지방대들에서도 에타 개판.. ㅋㅋㅋ
-
내일 일과 6
응시 후 집 와서 컷 확인 즉시 브릿지 하나 풀고 자야지
-
끝나고 대기하는동안 채점하면 눈물날거같은데
-
26번은 어디임? 네이버에 쳐봐도 위치가 다 다름 ..ㅋㅋ
-
18수능 전날 연기돼서 슬퍼했던 그 아이는 지금 별 문제없이 잘 살고 있습니다...
-
화작 ㅅㅂ 4
표점 깎여도 좀 스근하게 할려고 골랐더만 작년 9월부터 왜이리 어렵게 내는거냐;;...
-
학교 많이 넓은지..언덕길인지 궁금해서요!! 다들 수능 대박나세요 파이팅!!
-
보통 수험표 확인하시고 계속 책상 위에 두나요? 아니면 가방에 넣거나 책상 속에 넣어도 되나요?
-
사문연습) A가 진화론이면 (가)에는 ~가 들어갈 수 없다 4
적중예감 풀면서 시험지 찢고 싶게 하는 문제 1위
-
동국대 근황 4
동덕대랑 헷갈림 당함 ㅜㅜ 동평 개빡치네
쿠쿠리님 혹시 나이가 어케되심
틀딱임