브라우저보다 빠른!
5 처지: 게르하르트 겐첸, 에드문트 란다우, 프리넥스 표준형, 선택 공리, 손더스 매클레인.
게르하르트 겐첸
르하르트 카를 에리히 겐첸(1909–1945)은 독일의 수리논리학자이.
새로운!!: 파울 베르나이스와 게르하르트 겐첸 · 더보기 »
에드문트 란다우
에드문트 게오르크 헤르만 란다우(1877~1938)는 독일의 수학자이.
새로운!!: 파울 베르나이스와 에드문트 란다우 · 더보기 »
프리넥스 표준형
수리논리학에서, 프리넥스 표준형(prenex標準型)은 모든 한정 기호가 앞에 와 있는 1차 논리 공식의 형태이.
새로운!!: 파울 베르나이스와 프리넥스 표준형 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 파울 베르나이스와 선택 공리 · 더보기 »
손더스 매클레인
손더스 매클레인(1909–2005)은 미국의 수학자.
새로운!!: 파울 베르나이스와 손더스 매클레인 · 더보기 »
