본문으로 이동
주 메뉴
주 메뉴
사이드바로 이동
숨기기
둘러보기
대문
최근 바뀜
요즘 화제
임의의 문서로
사용자 모임
사랑방
사용자 모임
관리 요청
편집 안내
소개
도움말
정책과 지침
질문방
검색
검색
보이기
기부
계정 만들기
로그인
개인 도구
기부
계정 만들기
로그인
로그아웃한 편집자를 위한 문서
더 알아보기
기여
토론
분류
:
수학기초론 정리
7개 언어
English
Euskara
فارسی
Français
日本語
Українська
中文
링크 편집
분류
토론
한국어
읽기
편집
역사 보기
도구
도구
사이드바로 이동
숨기기
동작
읽기
편집
역사 보기
일반
여기를 가리키는 문서
가리키는 글의 최근 바뀜
파일 올리기
특수 문서 목록
고유 링크
문서 정보
축약된 URL 얻기
QR 코드 다운로드
인쇄/내보내기
책 만들기
PDF로 다운로드
인쇄용 판
다른 프로젝트
위키데이터 항목
보이기
사이드바로 이동
숨기기
도움말
위키백과, 우리 모두의 백과사전.
이 분류는 수리논리학, 모형 이론, 집합론, 일부 일반위상수학, 범주론을 비롯한 수학기초론의 정리들을 다룹니다.
"수학기초론 정리" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 19개 가운데 19개입니다.
ㄱ
건전성
괴델의 불완전성 정리
괴델의 완전성 정리
굿스타인의 정리
ㄹ
로빈슨의 정리
뢰벤하임-스콜렘 정리
ㅂ
바나흐-타르스키 역설
부랄리포르티 역설
ㅅ
슈필라인 확장정리
ㅇ
연역 정리
ㅈ
자름-제거 정리
ㅊ
처치-로서 정리
ㅋ
칸토어-베른슈타인 정리
칸토어의 정리
콤팩트성 정리
쾨니그의 정리 (집합론)
크레이그의 보간 정리
ㅍ
프레게의 정리
피치의 인식 가능성의 역설
분류
:
수학기초론
수리논리학
수학 정리