검색 결과

'''슈페르너의 정리'''({{llang|de|Satz von Sperner}}, Sperner's theorem, -定理)는 [[조합적 집합론]]의 기초적인 정리로, [[독일]] 수학자 [[에마누엘 슈페르너]]({{llang|de|Emmanuel Sperner}})가 제시하였다 [[분류:조합적 집합론]] ...

[[조합적 집합론]]에서 '''홀 결혼 정리'''(Hall結婚定理, {{llang|en|Hall marriage theorem}})는 여러 [[유한 집합 [[분류:조합적 집합론]] ...

...[모형이론]]에 [[의미론]]적 성질이 있는 데 대조적으로 증명 이론에는 [[통사론|구문론]]적 성질이 있다. [[모형 이론]], [[집합론]], [[재귀 이론]]과 함께 증명 이론은 [[수학기초론]]의 4대 기둥이라고도 불린다. ...연역]]과 [[시퀀트 계산]]의 핵심부분을 형식화하여 [[직관 논리]]의 형식화의 기반을 쌓고 [[페아노 산술]]의 일관성에 대한 첫 조합적 증명(combinatorial proof)을 완성했다. 자연 연역과 시퀀트 계산의 등장은 증명 이론의 [[해석적 증명]](analyti ...

...set theory}})은 무한 그래프의 성질들을 연구한다. 이 경우, 그래프의 고유 성질보다는 [[집합론]]의 기법이 더 중요하다. 조합적 집합론은 [[모형 이론]] 등 [[논리학]]에 응용된다. ...

{{다른 뜻 넘어옴|쾨니그 정리|[[기수 (수학)|기수]]에 대한 정리|쾨니그의 정리 (집합론)}} 조합적 집합론에서는 쾨니그 정리를 일반화하는 [[홀 결혼 정리]]가 존재한다. 쾨니그 정리와 홀의 정리 및 [[딜워스의 정리]]는 서로 [[동 ...

[[분류:조합적 집합론]] ...

[[분류:조합적 집합론]] ...