Zermelo–Fraenkel set theory
모델론적 관점은 집합론에서 특히 상대적 무모순성을 증명할 때 유용하게 사용된다. 쿠르트 괴델은 선택 공리와 연속체 가설이 다른 체르멜로-프렝켈 집합론 내의 공리들과 모순되지 않음을 증명하기 위해 모델론적 방법을 이용하였는데, 그는 ZF에서 구성가능한 집합들을 모은 구성 가능 전체 formula_3를 구성하여, 이를 전체(universe)로 하는 모형 속에서 선택 공리와 일반화 연속체 가설이 성립함을 보였다.