elementární teorie

Teorie prvního řádu – teorie formalizovaná v jazyce predikátového počtu prvního řádu. Teorie formalizovatelná v jazyce kvantifikátorového počtu druhého (n-tého) řádu je pak neelementární a nazývá se teorií druhého (n-tého) řádu. Většina teorií jsou teorie neelementární, principiálně však lze každou přetransformovat na elementární teorii, což s sebou nese změny obecných vlastností teorie, například přestane být konečně axiomatizovatelnou, kategorickou teorií.