elementární teorie
elementární teorie, teorie prvního řádu - teorie formalizovaná v jaz. predikátového počtu prvního řádu. Teorie formalizovatelná v jaz. 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 e. t., což s sebou nese změny obecných vlastností teorie, např. přestane být konečně axiomatizovatelnou, kategorickou teorií.
