집합론
수학에서, 체르멜로-프렝켈 집합론(, 약자 ZF)은 공리적 집합론 체계의 하나이다. 일반적으로 여기에 선택 공리를 추가해 사용하며 이를 선택 공리를 추가한 체르멜로-프렝켈 집합론(, 약자 ZFC)이라고 한다. ZF와 ZFC는 현대 수학의 표준적인 수학기초론으로 사용된다.