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

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
[일반] 리그 신청 뭐하지
최강금서 | 2024-06-30 [ 182 / 0 ]
[일반] 우주권 리그 상대 구합니다… [12]
최강금서 | 2024-06-30 [ 371 / 0 ]
[일반] 단일우주 최강 떴다ㅋㅋㅋㅋ [3]
최강금서 | 2024-06-30 [ 399 / 0 ]
[일반] [어떤마술의금서목록] 초절자 [3]
최강금서 | 2024-06-30 [ 383 / 0 ]
[일반] 어마금) 스쿠나 상위호환
최강금서 | 2024-06-30 [ 240 / 0 ]
[일반] “내 오른손에는 네프티스, 왼손에는 낭랑” [4]
최강금서 | 2024-06-30 [ 380 / 0 ]
[일반] 어마금 창약 11권 앨리스vs오티누스 뜨냐 [3]
최강금서 | 2024-06-30 [ 383 / 0 ]
[일반] 토우마는 원신 클레를 사고안치게 통제할 수 있을까? [3]
강철의후예 | 2024-06-30 [ 359 / 0 ]
[일반] 곧 한 시대가 끝날듯 [6]
나무 | 2024-06-30 [ 369 / 0 ]
[일반] 리그 중지한다는 뜻인듯 [3]
최강금서 | 2024-06-30 [ 363 / 0 ]
[일반] 확실히 시대가 변한 게 맞다 [8]
조우텐치 | 2024-06-30 [ 420 / 0 ]
[일반] 방금 막 전생검신 우주권 사기 캐릭터 생각남. [5]
나무 | 2024-06-30 [ 454 / 0 ]
[일반] 어마금) 아니 내가 얘를 왜 잊고있었지 [3]
최강금서 | 2024-06-30 [ 425 / 0 ]
[일반] 그럼 우주권 1티어 명전은 난 빠져야겠네
최강금서 | 2024-06-30 [ 249 / 0 ]
[일반] 지구권표 수정하는김에 천체권도 한번 미는게 [4]
바사삭 | 2024-06-30 [ 437 / 0 ]
[일반] 국가권에 퍼거스 있는거 웃기네ㅋㅋㅋㅋ [7]
솔플 | 2024-06-30 [ 414 / 0 ]
[일반] 근데 요기리 시간조작 내성도 잇음? [6]
폴링다무코 | 2024-06-30 [ 485 / 0 ]
[일반] 근데 캣 느와르 왜 은하권임?
스즈시나유리코 | 2024-07-01 [ 268 / 0 ]
[일반] 가장 강한 1개체만 등재 가능이면 청밥 < 등재 난이도 씹 헬이네 [2]
폴링다무코 | 2024-06-30 [ 428 / 0 ]
[일반] 캣 느와르 [3]
바사삭 | 2024-07-01 [ 418 / 0 ]
      
<<
<
9096
9097
9098
9099
9100
>
>>
enFree
공지/이벤 | 다크모드 | 건의사항 | 이미지신고
작품건의 | 캐릭건의 | 기타디비 | 게시판신청
PC버전 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications.
All rights reserved. Mail to chuinghelp@gmail.com
개인정보취급방침 | 게시물삭제요청