표준 모형
어떠한 전체()와 그 위에 정의된 이항관계로 이루어진 구조가 주어진 집합론의 공리들을 모두 성립하게 할 때 이를 그 집합론의 모형()이라고 한다. 또 이항관계가 전체에 한정된 정초적인 원소관계(membership relation)일 때 이를 표준 모형()이라 한다.