zf공리는 러셀의 모순으로부터 귀류법적으로 증명가능
나이브한 집합론을 가정하면->러셀의 모순발생-> Not(나이브집합론)이 참
zf공리는 Not(나이브집합론)에 포함되므로
Not(나이브집합론)이 참이면 zf공리도 참
따라서 zf공리는 공리가 아니라 정리다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얼버기 3
잘잣다 다들 화이팅
-
깔아드릴께요 2
-
진짜 ㅈ댓는데 후드티 쓰고 풀어야겟다
-
전파은하는 광도가 어케됨 가시광선으로 볼때 타원은하니까 딱 타원은하 광도인가
-
-
지금 갑자기 시계 고장나서 눈물나오는데 이시계 가능하죠?ㅠㅠㅠㅠㅠ
-
원서 영역 시작이네
-
체스도 벅벅
-
너무 긴장돼서 계속 헛구역질 나오는데 청심환 먹을까요 3
지금까지 한번도 안먹어봤고 부작용때매 걱정되네요..
-
경기서 '수험생 신분확인' 나이스 오류…"차질 없어"[2025수능] 1
[세종=뉴시스]김정현 기자 = 교육부는 14일 오전 경기 지역에서 신분증을 두고 온...
-
행운을 빌어요 2
TEAM ORBI 입갤
-
"아이가 어제 수술 받았어요"…피주머니 달고 수능 치러 온 수험생 1
(남양주=뉴스1) 양희문 기자 = "아이가 어제 수술 받았어요. 학교 안까지 차...
-
신청은 했지만 시험이 갑자기 오늘로 당겨지는 바람에 과외 구인은 작년 성적으로 다시 할 듯...
-
[속보] 출제위원장 "준킬러 문항도 충분히 걸러져" 1
https://n.news.naver.com/article/001/0015044834?sid=102
-
꼭 만점 받으세요☺️
-
출발 2
히히
-
드가자
-
다들 화이팅 전 안정액 마시고 언매보러 갈게요
-
자기가 편한대로 하면 되나오????
-
아 ㅈ된건가 2
내앞자리사람 냄새 개심한데..
쿠쿠리님 혹시 나이가 어케되심
틀딱임