체르멜로-프렝켈 공리가 모든 수학을 구축하는 방법
체르멜로-프렝켈 공리는 집합론에 엄격하고 역설 없는 토대를 제공합니다. 이는 거의 모든 현대 수학의 체계적인 발전을 가능하게 합니다. 심지어 컴퓨터 과학에도 영향을 미칩니다.
체르멜로-프렝켈 공리(ZF)는 집합론의 기초입니다. 집합론은 거의 모든 다른 수학 개념을 구성하는 언어입니다. 에른스트 체르멜로가 1908년에 소개했고 아브라함 프렝켈이 다듬었습니다. 이 규칙들은 러셀의 역설과 같은 역설을 방지하여 수학적 일관성을 보장합니다.
이 이야기에 더 많은 내용이 있어요 — 앱을 열어 계속 읽어 보세요.
앱에서 계속 읽기
단락 2개 더 · 그리고 3문제 퀴즈