체르멜로-프렝켈 집합론
체르멜로-프렝켈 집합론(formula_54)의 모형 formula_25이 주어졌을 때, 그 속의 자연수 집합 formula_56은 페아노 공리계의 모형을 이룬다. 체르멜로-프렝켈 집합론(formula_54)의 표준 추이적 모형 formula_25과, 그 속의 구성 가능 전체 formula_59를 생각하자. 그렇다면, formula_60을 포함하는, formula_25의 부분 구조 가운데 formula_54의 모형인 것들의 집합