zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://i.orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
저는 본교라 걸어서 10분...
-
ㅋㅋㅋㅋㅋㅋ
-
이게맞음? 충북교육청인데 어이가없네
-
ㅎㅇㅌ
-
9n~06는 들어라 12
수능잘보세요
-
친구의 여동생의 친구들도 내가 받은 학교고 여사친 애 말들어보니까 자기 친구들도 다...
-
이걸 작수때 어캐 풀었지
-
아빠가데려다두는거 아니었으면큰일날뻔
-
.
-
1번빼고 다 짝수형 뜨고 수능 전날에 시험 일주일 연기도 당해보고 가림판에 마스크...
-
ㅅ1발... 수능 때문에 휴가써서 나온거라고.... 강남 시험지 저거 뭔데...
-
야발 5층이네 9
그래도 모교+홀수 다
-
짝짝짝짝 9
흐흐 미적분체험하기
-
원래 이렇게 긴장했나
-
너무 궁금해서 디시 갤러리에 올려볼까 싶은데 더 필요한 정보가 있나
-
괜히 걱정되네
-
내일 도대체 뭘 입어야 함
쿠쿠리님 혹시 나이가 어케되심
틀딱임