Unisquads
Toggle theme
로그인
역링크: 수학 기초론
이 문서를 참조하고 있는 모든 문서 목록입니다.
총
48
개의 문서가
"수학 기초론"
문서를 가리키고 있습니다.
자기 자신을 원소로 포함하는 집합
논리학
set
ZFC 공리계
가산 무한 집합
파울 바흐만
논리
무한 집합론
연속체의 기수
일대일 대응
역설
클레이니 정리
다비트 힐베르트
수리학
처치-튜링 논제
게오르크 칸토어
집합론
기호 논리학
러셀의 역설
유한집합
체르멜로-프렝켈 집합론
무한 공리
수학적 증명
존 폰 노이만
리하르트 데데킨트
공리계와 증명 이론
레오폴트 크로네커
제논
술어 논리
세트
술어 논리(양화사: 모든, 어떤)
쿠르트 괴델
집합
공리적 집합론
데데킨트 절단
무한 집합
괴델의 불완전성 정리
수학 기초론
수리논리학
고전 논리학
모순과 역설(러셀의 역설 등)
구성주의 수학
선택 공리
마츠바라 형식화
튜플
비가산 무한 집합
형식주의
형식적 체계