츄잉~ chuing~
 | 분실찾기
 | 다크모드
 | 로그인유지
DB
뉴스
커뮤니티
애니만화
웹툰
이미지
츄온
▲
모스 켈리 집합론은 또 뭐임?
포인덱스터 | L:0/A:0 | LV32 | Exp.84%
548/650
| 0 | 2024-07-03 06:46:16 | 549 |
[숨덕모드설정] 게시판최상단항상설정가능

ZFC나 NBG랑 뭐가 다른거임?

 

연속체 가설처럼 ZFC나 NBG에서 증명 불가능한건 여기서도 증명 불가능함?

개추
|
추천
0
신고
    
[숨덕모드설정] 게시판최상단항상설정가능
만물유전 2024-07-03 11:17:46
NBG나 MK나 기본적으로 가지고 가는 공리에서는 연속체 가설을 증명하지는 못함 여기에 구성 가능성 공리를 따로 추가하면 가능하겠지만
MK이와 NBG의 중요한 차이점은 NBG에서 보편 양화사(∀)나, 존재 양화사(∃)는 집합에 대해서만 적용이 되고 고유 모임에는 사용을 할 수 없음
반면 MK는 보편 양화사, 존재 양화사를 고유 모임에도 적용이 가능함 그래서 MK가 NBG나 ZFC보다 강한 공리계임
강함을 부등호로 나타내면 ZFC < NBG < MK 이렇게 더 강한 공리를 가진다고 생각하면 될듯
포인덱스터 2024-07-03 13:40:23
@만물유전
그럼 NBG나 ZFC에서 증명 불가능한 문제들은 MK에서도 증명 불가능한거임?
만물유전 2024-07-03 13:48:22
@포인덱스터
zfc에서 못하는건 할 수 있겠지 zfc는 모임을 형식적으로 다룰 수 없으니까 모임과 관련된 것들은 mk에서 가능할 것이고 nbg는 잘 모르것다
아 생각해보니 mk에서는 zfc, nbg의 일관성을 증명할 수 있으니까 이게 너가 원하는 예시일듯
로그인을 하시면 댓글작성이 가능합니다.
츄잉은 가입시 개인정보를 전혀 받지 않습니다.
  
즐찾추가 규칙 숨덕설정 글10/댓글1
[일반] 석스버스가 -1티어인듯 [3]
풍차의노인 | 2024-10-01 [ 226 / 0 ]
[일반] 롤드컵 테마곡 GOAT 대결 [3]
폴링다무코 | 2024-10-01 [ 222 / 0 ]
[일반] 저기 밑에 내가 때려친 이유 있네 ㅋ [2]
미나토아쿠아 | 2024-10-01 [ 229 / 0 ]
[일반] 시발 웰케 허무하노 [2]
최강라노벨 | 2024-10-01 [ 240 / 0 ]
[일반] [배틀위키] 와 시발 이거 결국 받아들여졌네 [5]
나무 | 2024-10-01 [ 256 / 0 ]
[일반] 백창기vs범죄보스 1,2,3최종보스 [4]
에일리언x | 2024-10-01 [ 188 / 0 ]
[일반] 미국만화) 이거 아는 사람 있음? [5]
최강라노벨 | 2024-10-01 [ 250 / 0 ]
[일반] 데블스 레인 톰스파5로 밀린거 맞는듯 [1]
스케スケ | 2024-10-01 [ 167 / 0 ]
[일반] 파천 오면 물어봐야겠다 [2]
최강라노벨 | 2024-10-01 [ 203 / 0 ]
[일반] 메타픽션 어쩌구가 Scp 2747과 유사한듯 [4]
최강라노벨 | 2024-10-01 [ 200 / 0 ]
[일반] 근데 신의 독자는 걍 말 그대로 책 읽는 독자 그 자체 아닌가 [4]
폴링다무코 | 2024-10-01 [ 196 / 0 ]
[일반] 뭐야, 저거 무한 질적초월 계층 맞는거 같은데? [7]
최강라노벨 | 2024-10-01 [ 218 / 0 ]
[일반] 최강 라노벨이 말한 소설이 [1]
드란 | 2024-10-01 [ 160 / 0 ]
[일반] 울트론 스톤 활용력 거품맞음 [8]
호티우스 | 2024-10-01 [ 201 / 0 ]
[일반] (초월권) 베르나르 베르베르 계층구조 간단요약 [17]
최강라노벨 | 2024-10-01 [ 269 / 3 ]
[일반] 생각해 보니 길가메시 졸라 웃기네 [10]
조우텐치 | 2024-10-01 [ 194 / 0 ]
[일반] (즉사치트 아님) 이런 경우 질적초월 인정됨? [4]
최강라노벨 | 2024-10-01 [ 158 / 0 ]
[일반] 내생각의 결론은 이거임 [4]
탕후르츠 | 2024-10-01 [ 138 / 0 ]
[일반] 솔찍히 골드로저는 최강도 아니었음 [2]
미룬이 | 2024-10-01 [ 179 / 0 ]
[일반] 이거 내말이 맞노? [14]
탕후르츠 | 2024-10-01 [ 182 / 0 ]
      
1
2
3
4
5
>
>>
enFree
공지/이벤 | 다크모드 | 건의사항 | 이미지신고
작품건의 | 캐릭건의 | 기타디비 | 게시판신청
PC버전 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications.
All rights reserved. Mail to chuinghelp@gmail.com
개인정보취급방침 | 게시물삭제요청