츄잉~ chuing~
츄잉 신고센터 | 패치노트 | 다크모드
공지&이벤트 | 건의공간 | 로고신청N | HELIX
로그인유지
회원가입  |  분실찾기  |  회원가입규칙안내
모스 켈리 집합론은 또 뭐임?
포인덱스터 | L:0/A:0
548/650
LV32 | Exp.84% | 경험치획득안내[필독]
추천 0 | 조회 248 | 작성일 2024-07-03 06:46:16
[서브캐릭구경OFF] [캐릭컬렉션구경OFF] [N작품구경OFF]
*서브/컬렉션 공개설정은 서브구매관리[클릭]에서 캐릭공개설정에서 결정할수 있습니다.
  [숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.

모스 켈리 집합론은 또 뭐임?

ZFC나 NBG랑 뭐가 다른거임?

 

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

개추
|
추천
0
신고
    
  [숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.
만물유전
NBG나 MK나 기본적으로 가지고 가는 공리에서는 연속체 가설을 증명하지는 못함 여기에 구성 가능성 공리를 따로 추가하면 가능하겠지만
MK이와 NBG의 중요한 차이점은 NBG에서 보편 양화사(∀)나, 존재 양화사(∃)는 집합에 대해서만 적용이 되고 고유 모임에는 사용을 할 수 없음
반면 MK는 보편 양화사, 존재 양화사를 고유 모임에도 적용이 가능함 그래서 MK가 NBG나 ZFC보다 강한 공리계임
강함을 부등호로 나타내면 ZFC < NBG < MK 이렇게 더 강한 공리를 가진다고 생각하면 될듯
2024-07-03 11:17:46
추천0
포인덱스터
그럼 NBG나 ZFC에서 증명 불가능한 문제들은 MK에서도 증명 불가능한거임?
2024-07-03 13:40:23
추천0
만물유전
zfc에서 못하는건 할 수 있겠지 zfc는 모임을 형식적으로 다룰 수 없으니까 모임과 관련된 것들은 mk에서 가능할 것이고 nbg는 잘 모르것다
아 생각해보니 mk에서는 zfc, nbg의 일관성을 증명할 수 있으니까 이게 너가 원하는 예시일듯
2024-07-03 13:48:22
추천0
의견(코멘트)을 작성하실 수 없습니다. 이유: 로그인을 하시면 댓글작성이 가능합니다. 츄잉은 가입시 개인정보를 전혀 받지 않습니다.
  
즐겨찾기추가   [게시판운영원칙] | [숨덕모드 설정] |   게시판경험치 : 글 10 | 댓글 1
번호| | 제목 |글쓴이 |등록일 |추천 |조회
182175 일반  
소울 소사이어티가 진짜 우주일순있어도 [5]
솔플
2024-07-07 0 166
182174 일반  
코믹스를 추천하지 않는이유는 엔젤폴 때문임 [5]
최강금서
2024-07-07 1 109
182173 일반  
이분도 잊지마셈 [2]
루믹
2024-07-07 1 163
182172 일반  
블리치 특) 이상한 데서 연출이 강렬함. [2]
잠깐만씀
2024-07-07 0 145
182171 일반  
어마금 소설로 본다 vs 코믹스 보다가 갈아탄다 [7]
히오스
2024-07-07 0 103
182170 일반  
애니도 애니지만 옥이명명은 언제 연재 할려나 [3]
원양채화
2024-07-07 0 86
182169 일반  
블리치 까이는건 그냥 운명임 [4]
신비로의여행
2024-07-07 0 156
182168 일반  
정령정은 국가 수준이 맞음 [3]
폴링다무코
2024-07-07 0 135
182167 일반  
음 뜬금 블리치 글이 많아졌네 [5]
바사삭
2024-07-07 0 117
182166 일반  
그래도 3석주제에 만해열었다는건 대단하긴함. [2]
엑스트라
2024-07-07 0 88
182165 일반  
카이도vs예다라 [1]
최강금서
2024-07-07 0 79
182164 일반  
지금 용문귀등환 무시함? [4]
히오스
2024-07-07 0 110
182163 일반  
솔직히 영왕 유하바하빼고 최대가 마을?도시?파괴수준이지않나 [5]
엑스트라
2024-07-07 0 128
182162 일반  
영왕바하 vs 원펀맨 신
최강금서
2024-07-07 0 37
182161 일반  
블리치 최강 [7]
원양채화
2024-07-07 0 141
182160 일반  
근데 블리치 일반 대장급은 진짜 약하잖아
폴링다무코
2024-07-07 0 73
182159 일반  
블리치 ㅈㄴ셈
최강금서
2024-07-07 0 61
182158 일반  
블리치 바위산은 좀 너무하긴 함 [12]
최강금서
2024-07-07 0 159
182157 일반  
브게는 블리치 어느정도로 봄? [7]
대영웅
2024-07-07 0 149
182156 일반  
토피아 vs 앨리스 이거는 어떤데? [7]
만물유전
2024-07-07 0 95
182155 일반  
드디어 히오스가 어마금을 보기 시작했어
최강금서
2024-07-07 0 38
182154 일반  
오늘부터 엘더스크롤 지지를 철회한다 [4]
히오스
2024-07-07 3 129
182153 일반  
액셀러레이터 근황
최강금서
2024-07-07 0 60
182152 일반  
가장 사기적인 이능?? [14]
최강금서
2024-07-07 0 158
182151 일반  
가장 사기적인 이능? [3]
히오스
2024-07-07 0 111
      
<<
<
11
12
13
14
15
16
17
18
19
20
>
>>
enFree
공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청