zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
스블 강의 듣고 있는데 하루에 몇 강 정도 들어야 할지 모르겠음 이제 막 수강...
-
스블 듣고 있는 애기 3등급(작수)인데 스블만 듣고 체화 제대로 하면 2등급 중간...
-
김범준쌤 올해는 스타팅블록 비기너스 안하시나여
-
김범준 카나토미 2
pdf에 없는 쉬운4점도 있다고 들었는데 양 많나요?
-
이건 스킬 아님 S티어 그래프 분리 A티어 지로함 비율 맥스민 양수버리기 B티어...
쿠쿠리님 혹시 나이가 어케되심
틀딱임