Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Теорема Лёвенгейма — Скулема
Теорема часто называется "теоремой Лёвенгейма — Скулема о понижении мощности" (), чтобы отличать её от похожего утверждения, называемого "теоремой Лёвенгейма — Скулема о повышении мощности": если множество предложений счётного языка первого порядка имеет бесконечную модель, то оно имеет модель произвольной бесконечной мощности ().