츄잉~ chuing~
츄잉 신고센터 | 패치노트 | 다크모드
공지&이벤트 | 건의공간 | 로고신청N | HELIX
로그인유지
회원가입  |  분실찾기  |  회원가입규칙안내
모스 켈리 집합론은 또 뭐임?
포인덱스터 | L:0/A:0
548/650
LV32 | Exp.84% | 경험치획득안내[필독]
추천 0 | 조회 237 | 작성일 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
번호| | 제목 |글쓴이 |등록일 |추천 |조회
508 일반  
금서는 애초에 2기 애니화 당시가 최고점이였음
미나토아쿠아
2024-07-02 0 156
507 일반  
궁금한데 동방은 왜 우주권인거임? [5]
오마지오
2024-07-02 0 360
506 일반  
이거 플롯조작,이능력무효맞냐? [10]
스즈시나유리코
2024-07-02 0 390
505 일반  
애니제작사 글들 보고왔는데
EVOLTO
2024-07-02 0 184
504 일반  
붕괴 설정 거품인가요 [8]
공간의율자
2024-07-03 0 255
503 일반  
라노벨에서 사이키 플롯조작 나온건 확실한데 [3]
스즈시나유리코
2024-07-03 0 260
502 일반  
이거는 그나마 정상적으로 번역된듯
비엘네스
2024-07-03 0 143
501 일반  
0, 1+ 제외하면 뭐가 최강인지 논하는 것도 재밌긴 할듯 [6]
우리형파천
2024-07-02 0 389
500 일반  
암퓨마 > 400kg 곰 [5]
아크놀로기아
2024-07-02 0 265
499 일반  
북부 벵골호랑이 수컷이면 [6]
상급노예
2024-07-02 0 275
498 일반  
북부 뱅갈범은 300kg대 많아 보이네요 [2]
아크놀로기아
2024-07-02 0 273
497 일반  
시간축초월 질문 [1]
최강금서
2024-07-02 0 274
496 일반  
500kg 대 호랑이들 미치긴 했다
아크놀로기아
2024-07-02 0 178
495 일반  
벤10잘알들 한테 질문 [5]
EVOLTO
2024-07-02 0 254
494 일반  
호랑이가 고양이과 원탑이긴 함 [17]
최강금서
2024-07-02 0 344
493 일반  
[스타레일] 에이언즈 스펙글 [26]
나무
2024-07-02 0 435
492 일반  
빨만한 작품이 없노 [1]
최강금서
2024-07-02 0 260
491 일반  
저런 영상들로는 비단뱀 > 호랑이도 주장 가능함 [6]
アサガオ
2024-07-02 0 353
490 일반  
엘피스 전기 세인트 트라아이나 무기 [2]
Dfghjk123
2024-07-02 0 244
489 일반  
에이언즈가 대체 뭐노 [5]
나의영웅오딘
2024-07-02 0 278
488 일반  
배위가 답이 없는 이유 [3]
Dfghjk123
2024-07-02 0 278
487 일반  
얘는 칼 들면 무한^9배 강해지는 거임? [8]
나의영웅오딘
2024-07-02 0 365
486 일반  
배위 붕괴 번역도 좀 엉망임 [5]
나무
2024-07-02 0 284
485 일반  
배틀 위키가 정말 너무한 이유 [2]
나의영웅오딘
2024-07-02 0 317
484 일반  
아 근데 질문 허수의 나무 [5]
Dfghjk123
2024-07-02 0 294
      
<<
<
7271
7272
7273
7274
7275
7276
7277
7278
7279
7280
>
>>
enFree
공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청