츄잉~ chuing~

츄잉~ chuing~

▲

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

포인덱스터 | L:0/A:0 | LV32 | Exp.84%

548/650

| 0 | 2024-07-03 06:46:16 | 369 |

[숨덕모드설정] 게시판최상단항상설정가능

크게 보기

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의 일관성을 증명할 수 있으니까 이게 너가 원하는 예시일듯

로그인을 하시면 댓글작성이 가능합니다.
츄잉은 가입시 개인정보를 전혀 받지 않습니다.

인기글보기

갤펌) 창약 11권 표지 킹스포드 안경 삭제 [1]

열기 닫기

그냥 종=준임

[2]

브게이들이보면화나는영상

스포 뭐? 검술 쓰는 준구가 종건보다 한 급수 위?

[3]

이씨발은 가아라 못이기는거 맞지 ㅋㅋ

[3]

이로서 알게된 거

[5]

막상 판단할라니까 대가리 아프다 ㅋㅋㅋ

[1]

[일반] 원나블 라이벌싸움중에 누구쌈이 더간지

요시왕 | 2015-01-19 [ 616 / 0 ]

[일반] 원피스세계관 vs 나루토세계관

인과응보 | 2015-01-19 [ 761 / 0 ]

[일반] 실존했던 소드마스터 척준경vs만부부당의 용장 연인 장비

찌끄래기 | 2015-01-19 [ 746 / 0 ]

[일반] 남장여자 vs 여장남자

미가아실 | 2015-01-19 [ 540 / 0 ]

에르시오네 | 2015-01-19 [ 360 / 0 ]

[일반] 다리힘vs손힘

내말이맞다 | 2015-01-19 [ 471 / 0 ]

마츠리vs리사나

요시왕 | 2015-01-19 [ 2833 / 0 ]

[일반] 원펀맨 S급 히어로 vs 원피스 흰수염 해적단(산하 해적X)

근성회오리 | 2015-01-19 [ 662 / 0 ]

[죠죠] 압둘vs카쿄인vs폴나레프

성불고자 | 2015-01-19 [ 2180 / 0 ]

DC 임페리엑스 프라임 vs 드래곤볼, 그렌라간, 디지몬, 메다카박스

록타오가르 | 2015-01-19 [ 1410 / 0 ]

[일반] 북한으로 월북하기vs is들어가기

쿠키플라이 | 2015-01-19 [ 649 / 0 ]

[일반] 오노데라vs치토게

하유리남친 | 2015-01-19 [ 422 / 0 ]

[일반] 라이어게임 아키야마(하우진) vs 명탐정 코난 신이치(남도일) vs 데스노트 야가미 라이토(키라) vs 소년탐정 김전일 긴다이치(김전일) vs 기타

Kim군 | 2015-01-19 [ 967 / 0 ]

[일반] 써니vs나루토

투라페스노 | 2015-01-19 [ 523 / 0 ]

[일반] 사이타마(원펀맨) vs 아라레(닥터 슬럼프)

조루짱짱 | 2015-01-19 [ 1060 / 0 ]

[나루토] 스이게츠vs다루이

KKK222 | 2015-01-19 [ 4085 / 0 ]

[일반] (원피스) sir.크로커다일 vs 돈키호테 도플라밍고

로리타이나 | 2015-01-19 [ 710 / 0 ]

[일반] 사이타마 vs 피암마 - 원펀치 대결

리아루 | 2015-01-19 [ 822 / 0 ]

[일반] 코비 최종성장 vs 사보 최종성장

떡따구리 | 2015-01-19 [ 589 / 0 ]

[일반] (원피스)사보vs죠즈

커비 | 2015-01-19 [ 485 / 0 ]

공지/이벤 | 다크모드 | 건의사항 | 이미지신고
작품건의 | 캐릭건의 | 기타디비 | 게시판신청
PC버전 | 클론신고 | 정지/패널티문의 | HELIX

Copyright CHUING Communications.
All rights reserved. Mail to chuinghelp@gmail.com
개인정보취급방침 | 게시물삭제요청