Standard Model
표준 모형()을 갖춘 고차 논리에서는 뢰벤하임-스콜렘 정리가 성립하지 않는다. 다만, 고차 논리에서 헹킨 모형( 또는 )을 사용하면, 고차 논리는 사실상 1차 논리가 된다. 이 경우, 뢰벤하임-스콜렘 정리가 자명하게 적용된다.