츄잉~ chuing~

츄잉~ chuing~

츄잉 신고센터 | 패치노트 | 다크모드

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

포인덱스터

|

L:0/A:0

548/650

LV32 | Exp.84% | 경험치획득안내[필독]

추천 0 | 조회 341 | 작성일 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

인기글

지랄? [2]

열기 닫기

인기글더보기

|

|

|

|

|

|

183517

일반

[페테 논의] 드래곤 항마력에 대한 논의글 [13]

나무

2024-07-20

0

121

183516

일반

펑맨 리메이크vs보루토 [8]

최강금서

2024-07-20

0

110

183515

일반

나루토는 진짜 고트다... [1]

신비로의여행

2024-07-20

0

94

183514

일반

아크놀로기아가 세계관 1등인건 걍 마룡이라 그런거 아님? [6]

산군

2024-07-20

0

114

183513

일반

페테 떡밥도니까 질문하는건데 [8]

스즈시나유리코

2024-07-20

0

112

183512

일반

근데 이런거보면 좀 짜치긴하지 [2]

바사삭

2024-07-20

0

106

183511

일반

아크 좆밥임?? [2]

최강금서

2024-07-20

0

102

183510

일반

사실 아크놀로기아 필사기 생각하면 평타 대륙급 이상치긴 하누 [46]

BadEnding

2024-07-20

0

176

183509

일반

근데 아크는 몰라도 에테리온 일격은 ㅈㄴ 셈 ㅇㅇ [6]

루믹

2024-07-20

0

126

183508

일반

산군이 페테대장임?

스즈시나유리코

2024-07-20

0

44

183507

일반

게이야 차라리 이런거라도 들고오고서 ㅈ밥이라 말하자 [6]

바사삭

2024-07-20

0

115

183506

일반

걍 담달 원vs페 해볼? [3]

바사삭

2024-07-20

0

82

183505

일반

아크 브레스 섬소멸이라 쳐도 [5]

솔플

2024-07-20

0

112

183504

일반

맞음 사실 카이도우>아크임

만신이학

2024-07-20

0

68

183503

일반

난 그냥 아크놀로기아 브레스 거품 없애려고 쓴거임

산군

2024-07-20

0

54

183502

일반

의외로 찐팬일수록 작품을 올바르게 볼 수 이슴 ㅇㅇ [2]

루믹

2024-07-20

0

121

183501

일반

뭔소리야 [2]

Dfghjk123

2024-07-20

0

91

183500

일반

와 근데 페테 실드치는 분들 꽤 되네? [1]

산군

2024-07-20

0

103

183499

일반

게이야 좆신룡은 거기서 거기인데 그럼 이건 아크 대륙급 증거 아니누? [3]

바사삭

2024-07-20

0

97

183498

일반

앨리스가 이새끼들은 이기냐? [4]

히오스

2024-07-20

0

135

183497

일반

산군 쟤 내가 아는 그 페퀴임?? [3]

최강금서

2024-07-20

0

112

183496

일반

무하한 vs 게이보그 [16]

시리얼스

2024-07-20

0

128

183495

일반

게이야 분명 아크 최강이라 못박은거 작가라 하지않았누? [5]

바사삭

2024-07-20

2

154

183494

일반

유우키 vs No.1 [3]

킹스턴

2024-07-20

0

80

183493

일반

이게 어떻게 대륙권인 애의 공격 이겠노? [22]

산군

2024-07-20

0

172

공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청