대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
수학기초론 정리
언어
주시
편집
이 분류는 수리논리학, 모형 이론, 집합론, 일부 일반위상수학, 범주론을 비롯한 수학기초론의 정리들을 다룹니다.
"수학기초론 정리" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 19개 가운데 19개입니다.
ㄱ
건전성
괴델의 불완전성 정리
괴델의 완전성 정리
굿스타인의 정리
ㄹ
로빈슨의 정리
뢰벤하임-스콜렘 정리
ㅂ
바나흐-타르스키 역설
부랄리포르티 역설
ㅅ
슈필라인 확장정리
ㅇ
연역 정리
ㅈ
자름-제거 정리
ㅊ
처치-로서 정리
ㅋ
칸토어-베른슈타인 정리
칸토어의 정리
콤팩트성 정리
쾨니그의 정리 (집합론)
크레이그의 보간 정리
ㅍ
프레게의 정리
피치의 인식 가능성의 역설