Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Теория моделей
Множество формул formula_10 называется множеством аксиом для теории formula_1, если formula_1 является множеством следствий formula_10. В частности, сама formula_1 является множеством аксиом для себя. Если для теории formula_1 существует конечное множество аксиом,
то она называется конечно аксиоматизируемой.