zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
윈터 귀엽다 2
-
근데 그럴일 없단거 아니까 열심히 공부하러가겠음..
-
현대소설 정신나갈뻔했는데 이렇게까지 누가하는말인지 파악 안된거 오랜만임 어드밋숑이 뭔데..
-
9덮 지구는 왜 3점 낮게나오노....아
-
화날때 어떡함? 3
어제 독재 관리자랑 살짝 마찰있었는데 이거때메 공부 집중안되는게 화가 ㅈㄴ나는데...
-
수능형 세계사 자작 모의고사 (최대한 평가원스럽게) 3
인터넷에 많이 퍼진 어처구니 없이 지엽적인 자작모고는 아닙니다. 딱 수능틱하게...
-
https://orbi.kr/00065300203/ 대황 알리바바 매수하라했제~...
-
팩스 1
님들 팩스 보냈다고 하는데 안보내질수도 있음? 전화해서 보냈다고 하는데 내 팩스에는...
-
물론 수학 5등급임
-
요즘 일기쓰고 싶어서 ChatGPT한테 써달라고 요청함 1
대박 잘써줌 어떻게 이렇게 내 일상을 잘알고있는거지 .... 듣고있나...
-
고2 수시 1
경북지역 일반고 다니는 고2입니다 국영수사과 한국사 등급으로 1학년 1학기 2.67...
-
국어 실모 횟수 2
일주일에 어느 정도가 적당하다고 생각하시나요?
-
션티 선생님 주간지, 기출문제집 그리고 키센스 강의를 듣다보니깐 ABPS기반으로...
-
인데 난이도 어땠음? 난 11번에서 턱 막혔다가 비벼서 풀었는데 11번 쉽게 풂??
-
생윤 질문 1
수완 2단원 11번에 [밀 -> 칸트] 개인은 자기 자신의 행복 추구라는 동기에...
-
시험공부 크악 1
하기싫다
-
과학 기술 지문이 나온다면 단백질 접힘이나 ai 기술관련이 나올듯 ㅇㅇ 관련 지문...
-
통합사회 통합과학 궁금해지네요 ㅋㅋㅋㅋ
-
대단해요진짜다들
쿠쿠리님 혹시 나이가 어케되심
틀딱임