츄잉~ chuing~
츄잉 신고센터 | 패치노트 | 다크모드
공지&이벤트 | 건의공간 | 로고신청N | HELIX
자유게시판 | 통합연구분석 | 기타자유만화R | VS게시판 | 원피스>연구 | 페어리테일 | 원펀맨>그림 | 블리치 | 나루토>연구 | 헌터X헌터>연구 | 킹덤 | 체인소맨
귀멸의칼날 | 진격의거인 | 도쿄구울>그림 | 페그오 | 드래곤볼 | 이누야샤 | 일곱개의대죄 | 금서목록 | 소아온 | 히로아카 | 던만추 | 포켓몬/GO | 디지몬 | 코난 | 마블DC
유희왕 | 통합리뷰후기
츄잉디비 공식랭킹N | 스탯랭킹N | 츄온작품랭킹N | 월별애니N | 방영중애니N | 최근추가N | 최근활동N
로그인유지
회원가입  |  분실찾기  |  회원가입규칙안내
모스 켈리 집합론은 또 뭐임?
포인덱스터 | L:0/A:0
548/650
LV32 | Exp.84% | 경험치획득안내[필독]
추천 0 | 조회 265 | 작성일 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
번호| | 제목 |글쓴이 |등록일 |추천 |조회
182613 일반  
저게 블라해야할 수준인가?
스즈시나유리코
 2024-07-13 0 46
182612 일반  
방금 내 글이 블라처리될 만큼 이상한 글이었냐? [16]
오티티
 2024-07-13 3 194
182611 일반  
신좌만상의 메르쿠리우스 스펙을 설명하려고 함 [8]
요즈문드
 2024-07-13 1 125
182610 일반  
아 뭐야 밑글못봤는데 [7]
ㆍㆍㆍ
 2024-07-13 0 98
182609 일반  
진짜 질적으로 우월하다면 양적인 비교가 불가능합니다 [3]
신비로의여행
 2024-07-13 2 165
182608 일반  
뭐여 [10]
Dfghjk123
 2024-07-13 0 127
182607 일반  
내일 드디어 카무사리 나오노 [1]
ㆍㆍㆍ
 2024-07-13 0 38
182606 일반  
이거 하나만 기억하면 됨
바사삭
 2024-07-13 0 46
182605 일반  
** 블라인드된 게시물입니다.
오티티
 2024-07-13 0 81
182604 일반  
앞으로 금서는 앨리스 이하만 다루기로 합시다 [3]
최강금서
 2024-07-13 0 81
182603 일반  
죠고vs에이스(원피스) [9]
최강금서
 2024-07-13 0 95
182602 일반  
그리고 씨발 남의 의견 처들고와서 가면쓰고 지랄 작작하셈 [29]
미나토아쿠아
 2024-07-13 2 199
182601 일반  
VS 못하는 캐릭 굳이 줄세워봐야 뭔 의미 있는지 모르겠음 .. [2]
원양채화
 2024-07-13 0 85
182600 일반  
평맨 신 등장할때 무슨능력들 보여줄것같냐 [4]
ㆍㆍㆍ
 2024-07-13 0 80
182599 일반  
대체 언제부터 브게식 질적초월이 배위랑 똑같아진지 모르겠네 [1]
미나토아쿠아
 2024-07-13 0 88
182598 일반  
사이키in블클 [6]
스즈시나유리코
 2024-07-13 0 64
182597 일반  
근데 오티누스만가도 mcu멸망아님? [4]
ㆍㆍㆍ
 2024-07-13 0 100
182596 일반  
어떤 의미로는 브게에서 제일 대단한게 포인이 같음 [4]
바사삭
 2024-07-13 6 170
182595 일반  
욕안하고 옛날성격 안내고 착하게 살라는데 [4]
미나토아쿠아
 2024-07-13 4 154
182594 일반  
수학교 망해서 꼬시면 개추 [3]
신비로의여행
 2024-07-13 3 123
182593 일반  
이능 복사 캐릭터들. [1]
Dfghjk123
 2024-07-13 0 98
182592 일반  
논쟁 안되는 새끼들 들고와서 논쟁하는거도 작작좀 ㅋㅋ [9]
미나토아쿠아
 2024-07-13 0 125
182591 일반  
그 씨팔 반박도 못하고 결국 런할거면서 자꾸 지난논쟁들고와서 [7]
미나토아쿠아
 2024-07-13 5 164
182590 일반  
정수전차원 단독으로 1계층 아니냐? [2]
최강금서
 2024-07-13 0 84
182589 일반  
정수전차원이 좆으로 보이냐 [3]
최강금서
 2024-07-13 0 89
      
<<
<
11
12
13
14
15
16
17
18
19
20
>
>>
enFree
공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청