zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시대인재 라인업 2
국어 : ㄱㅇㅇT 수학 : 공통 장재원, 미적 안가람T 영어 : ??? 영어쌤을...
-
ㅋㅋ특히 모 기숙
-
-
어떻게 발전을....?
-
왜 일을 해야하는가 안하면 굶어죽어서 왜 돈이 없어서 왜 일을 안해서 왜 일이...
-
-
-
수능이 점점 다가오고 있습니다. 수능 대비는 벼락치기로는 사실상 어려운 상황입니다....
-
외않써???
-
얼버기 5
-
진짜 ㅈㄴ 재밌네 Ost가 굉장히 좋네요
-
왜 공부를 해도해도 오르질 않음?
-
오늘 연논인가요 3
고렇다면 다들 ㅎㅇㅌ
-
과탐 파이널 0
9모 물1 50 지1 48인데 실모 보고 그러면 빈구멍이 틈틈히 생겨여 이런거 어케...
쿠쿠리님 혹시 나이가 어케되심
틀딱임