최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.14
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[11:21:56] 오개념/국가
[11:20:59] 오개념/국가
[11:17:13] 편견/국가
[11:14:34] 편견/국가
[11:14:17] 편견
[11:13:52] 편견/국가
[11:09:31] 오개념
[11:09:01] 오개념/국가
[11:05:09] category:오개념
[11:04:58] 오개념
돌아가기
삭제
이동
파일 올리기
구성가능한 우주
(편집) (2)
(편집 필터 규칙)
416,inf
== 성질 == [math(L)]은 ZFC의 내모형이다. 보다 정확히는, [math(L)]은 [math(V=L)]을 충족시키며 [math(V=L)]은 일반화된 연속체 가설과 전역 선택공리를 만족한다. 또한 [math(L)]은 다이아몬드 법칙을 충족한다. 그리고 [math(L)]은 [math(0^\sharp)]보다 무모순성 세기가 강한 큰 기수 공리를 부정한다. 특히, [math(L)] 내에서는 [[가측 기수]]보다 무모순성 세기가 강한 기수들이 존재하지 않는다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
== 성질 == [math(L)]은 ZFC의 내모형이다. 보다 정확히는, [math(L)]은 [math(V=L)]을 충족시키며 [math(V=L)]은 일반화된 연속체 가설과 전역 선택공리를 만족한다. 또한 [math(L)]은 다이아몬드 법칙을 충족한다. 그리고 [math(L)]은 [math(0^\sharp)]보다 무모순성 세기가 강한 큰 기수 공리를 부정한다. 특히, [math(L)] 내에서는 [[가측 기수]]보다 무모순성 세기가 강한 기수들이 존재하지 않는다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
