체르멜로-프렝켈 집합론
수학기초론에서, 폰 노이만-베르나이스-괴델 집합론(, 약자 NBG)은 체르멜로-프렝켈 집합론(ZFC)의 보존적 확장 형태의 공리적 집합론이다. 순수하게 집합에 대한 명제에 대하여, ZFC(선택 공리를 추가한 체르멜로-프렝켈 집합론)에서의 증명 가능성과 NBG에서의 증명 가능성이 서로 동치다. 또한 재귀적 정의를 허용할 경우 NBG는 모스-켈리 집합론(Morse–Kelley set theory, 약자 MK)가 된다. NBG는 ZFC나 MK와 다르게 유한적으로 공리화가능(finitely axiomatizable)하다.