9 처지: 동치, 모임 (수학), 보존적 확장, 정의, 존재론, 집합, 집합론, 체르멜로-프렝켈 집합론, 유한 집합.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 동치 · 더보기 »
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 모임 (수학) · 더보기 »
보존적 확장
수리논리학에서, 보존적 확장(保存的擴張)은 주어진 이론을 확장하되, 원래 이론의 언어로서 나타낼 수 있는 모든 명제의 증명 가능성 여부가 바뀌지 않게 하는 확장이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 보존적 확장 · 더보기 »
정의
안대를 두르고 저울과 칼을 든 유스티티아는 정의의 상징이다. 정의(正義)는 사회를 구성하고 유지하기 위해 사회 구성원들이 공정하고 올바른 상태를 추구해야 한다는 가치로, 대부분의 법이 포함하는 이념이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 정의 · 더보기 »
존재론
존재론(存在論)은 자연이나 정신 등의 특수한 존재자가 아닌, 모든 존재자가 존재자인 한 공통으로 지니는 것, 존재자가 존재자로서 지니는 근본적인 규정을 고찰하는, 형이상학의 한 부분이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 존재론 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 집합 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 집합론 · 더보기 »
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 체르멜로-프렝켈 집합론 · 더보기 »
유한 집합
수학에서, 유한 집합(有限集合)이란 집합의 원소의 개수가 한정되어 원소의 개수가 무한개가 아닌 집합을 의미.
새로운!!: 폰 노이만-베르나이스-괴델 집합론와 유한 집합 · 더보기 »