zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://i.orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
A : 전 시험 38.3에서 이번 시험 89.2 B : 전 시험 91.3에서 이번...
-
적중예감이 적생모에 비해 훨씬 어렵나요? 왜인지 모르겠는데 적생모는 한두개 실수로...
-
꼭 한 두개씩 틀리는데 1등급으로 올라가려면 다 맞추는 실력은 돼야하나요?
-
N제화안박은게없네 걍
-
왤케 선지 납득이 안되는 비율이 점점 높아지는거 같지 ㅋㅋㅋ 작년 대비해봐도 좀 더 그런거 같은데
-
6번:표 안그리고 가오잡다가 틀림 7번:공급 곡선이 수직이라는 조건을 고려x 교훈:발문을 잘 보자
-
ㅈㄱㄴ
-
짜증나네 그냥 국어 운에맞기고 수탐에 올투자 해버릴까
-
심찬우 1
2강에서 온라인파일 다운 어떻게하는지 알려주실분?ㅠㅠ
-
땡벌,, 이제수업못듣겠어땡벌..땡벌..
-
힘냅시당
-
하 아침애 졸려서 앞에 두지문 시간 너무씀….
-
김성은 성생님이랑 이해원 모고랑 이로운모고랑 이감 중에 2개정도 구매할꺼 같은데 어떤게 좋을까요?
-
9모 텔그 돌리는데 싹다 불가~소신 떠서 내신 BB로 바꿔봤더니 바로 적정~안정...
-
윈터 귀엽다 2
-
근데 그럴일 없단거 아니까 열심히 공부하러가겠음..
-
현대소설 정신나갈뻔했는데 이렇게까지 누가하는말인지 파악 안된거 오랜만임 어드밋숑이 뭔데..
-
9덮 지구는 왜 3점 낮게나오노....아
-
화날때 어떡함? 3
어제 독재 관리자랑 살짝 마찰있었는데 이거때메 공부 집중안되는게 화가 ㅈㄴ나는데...
-
팩스 1
님들 팩스 보냈다고 하는데 안보내질수도 있음? 전화해서 보냈다고 하는데 내 팩스에는...
쿠쿠리님 혹시 나이가 어케되심
틀딱임