zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
게시글 주소: https://orbi.kr/00069432688
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
폭빵폭빵 교대로 나와요 아니면 아무 상관 없어요?
-
중경외시 폭발 6
중경외시 라인에서 폭발은 드물게 난다고 하던데 폭발난 경우가 있나요??
쿠쿠리님 혹시 나이가 어케되심
틀딱임