검색 결과
둘러보기로 이동
검색으로 이동
- [[분류:수학기초론 정리]] ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- [[분류:수학기초론 정리]] ...1 KB (60 단어) - 2024년 5월 7일 (화) 03:00
- [[분류:수학기초론 정리]] ...2 KB (65 단어) - 2022년 2월 28일 (월) 11:59
- [[분류:수학기초론 정리]] ...2 KB (121 단어) - 2024년 5월 5일 (일) 15:40
- [[분류:수학기초론]] ...2 KB (58 단어) - 2024년 11월 5일 (화) 05:14
- ...체계에서 증명 불가능하지만, 집합 이론에서의 연구는 거의 모든 일반적인 수학은 집합의 형태로 형식화할 수 있다는 것을 보여주었다. [[수학기초론]]에서 최근의 연구는 종종 모든 수학을 전개할 수 있는 이론을 찾기보다는 수학의 어느 부분이 특정 형식 체계에서 형식화할 수 있는지 찾 ...7 KB (335 단어) - 2025년 1월 10일 (금) 04:22
- [[분류:수학기초론 정리]] ...3 KB (197 단어) - 2025년 3월 13일 (목) 13:43
- 이러한 모순이 도출되지 않는 이론을 [[무모순성|무모순적]](일관적)이라 하며, 이는 [[수학기초론]]의 중요한 개념이다. ...3 KB (12 단어) - 2025년 2월 19일 (수) 09:21
- ...형식 언어'''(形式言語, formal language)란, 특정한 법칙들에 따라 적절하게 구성된 문자열들의 집합을 말한다. 이는 [[수학기초론]], [[언어학]], [[정보이론]]의 핵심적 개념이며, [[계산가능성 이론]]과 밀접하게 관련되어 있다. ...3 KB (122 단어) - 2024년 7월 17일 (수) 06:44
- [[분류:수학기초론 정리]] ...3 KB (92 단어) - 2022년 2월 26일 (토) 18:09
- [[분류:수학기초론 정리]] ...4 KB (384 단어) - 2024년 5월 18일 (토) 10:46
- [[분류:수학기초론 정리]] ...4 KB (123 단어) - 2022년 2월 12일 (토) 09:05
- [[분류:수학기초론 정리]] ...4 KB (232 단어) - 2024년 12월 20일 (금) 00:28
- [[분류:수학기초론 정리]] ...5 KB (281 단어) - 2024년 9월 21일 (토) 16:14
- [[분류:수학기초론 정리]] ...6 KB (370 단어) - 2024년 5월 18일 (토) 12:22
- [[분류:수학기초론 정리]] ...7 KB (296 단어) - 2025년 3월 8일 (토) 13:56
- [[분류:수학기초론 정리]] ...8 KB (745 단어) - 2025년 1월 20일 (월) 10:55
- ...eory with the axiom of choice}}, 약자 ZFC)은 [[공리적 집합론]]의 하나이다. 현대 수학의 표준적인 [[수학기초론]]으로 사용된다. * [[수학기초론]] ...23 KB (1,667 단어) - 2025년 1월 19일 (일) 18:12
- ...heory}})은 추상적 대상들의 모임인 [[집합]]을 연구하는 [[수학]] 이론이다. 집합론은 [[술어논리학]]과 함께 대부분의 [[수학기초론]] 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다. ...9 KB (561 단어) - 2025년 1월 19일 (일) 20:37
- [[분류:수학기초론 정리]] ...9 KB (735 단어) - 2024년 5월 18일 (토) 12:46