zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
작수 망치고 다음날아침에 일어났을때 그 좆같은 기분을 떠올려봅시다
-
뭐지 역대급인데 벌써 다섯 방 넘게 물림
-
사문 실모 3
ㄱㄱ
-
내 청춘 너무 아깝다 10
내년에 군대가고 제대하면 진짜 바로 자퇴한다.
-
명예는 있겠지만 부자는 아니지 않나 집안이 좋을거라 생긱해서 그런건가??
-
홋카이도 항공권 예약함 13
1월인데 싸게 구한듯
-
내가 죄인 만들어줄게
-
성 적 조작 4
흐흐흫
-
봉투가 기분좋게 뜯김
-
이번꺼 정산 받고 환급하고 큐브 멈출거라 얼마 들아올지 긍금한데
-
2025학년도 정시 전형 - 한국교원대, 서울교대, 경인교대, 춘천교대 0
안녕하세요, 나무아카데미입니다! 어느덧 수능이 두 달도 채 안 남은 가을이...
-
믹스커피 있잖아 한잔해~
-
이사람들이.. 3
동국대 불지르는 내 원대한 꿈은 관심하나도 없고 미적성적만 놀려....
-
말투가 너무 남자였나
쿠쿠리님 혹시 나이가 어케되심
틀딱임