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

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
[일반] 스포 스포주의) 데드풀과 울버린 파이널 예고편 [3]
스케スケ | 2024-07-20 [ 162 / 1 ]
[일반] 드래곤 항마력 같은게 좀 그렇긴하지 [6]
바사삭 | 2024-07-20 [ 83 / 0 ]
[일반] 페게에서 원피스vs페테를 하고있노 ㅋㅋ [2]
만신이학 | 2024-07-20 [ 122 / 0 ]
[일반] 페테 재밌음? [4]
히오스 | 2024-07-20 [ 76 / 0 ]
[일반] [페테 논의] 드래곤 항마력에 대한 논의글 [13]
나무 | 2024-07-20 [ 121 / 0 ]
[일반] 펑맨 리메이크vs보루토 [8]
최강금서 | 2024-07-20 [ 110 / 0 ]
[일반] 나루토는 진짜 고트다... [1]
신비로의여행 | 2024-07-20 [ 94 / 0 ]
[일반] 아크놀로기아가 세계관 1등인건 걍 마룡이라 그런거 아님? [6]
산군 | 2024-07-20 [ 114 / 0 ]
[일반] 페테 떡밥도니까 질문하는건데 [8]
스즈시나유리코 | 2024-07-20 [ 112 / 0 ]
[일반] 근데 이런거보면 좀 짜치긴하지 [2]
바사삭 | 2024-07-20 [ 106 / 0 ]
[일반] 아크 좆밥임?? [2]
최강금서 | 2024-07-20 [ 102 / 0 ]
[일반] 사실 아크놀로기아 필사기 생각하면 평타 대륙급 이상치긴 하누 [46]
BadEnding | 2024-07-20 [ 176 / 0 ]
[일반] 근데 아크는 몰라도 에테리온 일격은 ㅈㄴ 셈 ㅇㅇ [6]
루믹 | 2024-07-20 [ 126 / 0 ]
[일반] 산군이 페테대장임?
스즈시나유리코 | 2024-07-20 [ 44 / 0 ]
[일반] 게이야 차라리 이런거라도 들고오고서 ㅈ밥이라 말하자 [6]
바사삭 | 2024-07-20 [ 115 / 0 ]
[일반] 걍 담달 원vs페 해볼? [3]
바사삭 | 2024-07-20 [ 82 / 0 ]
[일반] 아크 브레스 섬소멸이라 쳐도 [5]
솔플 | 2024-07-20 [ 112 / 0 ]
[일반] 맞음 사실 카이도우>아크임
만신이학 | 2024-07-20 [ 68 / 0 ]
[일반] 난 그냥 아크놀로기아 브레스 거품 없애려고 쓴거임
산군 | 2024-07-20 [ 54 / 0 ]
[일반] 의외로 찐팬일수록 작품을 올바르게 볼 수 이슴 ㅇㅇ [2]
루믹 | 2024-07-20 [ 121 / 0 ]
      
<<
<
36
37
38
39
40
>
>>
enFree
공지/이벤 | 다크모드 | 건의사항 | 이미지신고
작품건의 | 캐릭건의 | 기타디비 | 게시판신청
PC버전 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications.
All rights reserved. Mail to chuinghelp@gmail.com
개인정보취급방침 | 게시물삭제요청