Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Формальная система
Чаще всего имеется возможность эффективно выяснять, является ли данная формула аксиомой; в таком случае теория называется "эффективно аксиоматизированной" или "аксиоматической".
Множество аксиом может быть конечным или бесконечным. Если число аксиом конечно, то теория называется "конечно аксиоматизируемой". Если множество аксиом бесконечно, то, как правило, оно задаётся с помощью конечного числа "схем аксиом" и правил порождения конкретных аксиом из схемы аксиом. Обычно аксиомы делятся на два вида: "логические аксиомы" (общие для целого класса формальных теорий) и "нелогические" или "собственные аксиомы" (определяющие специфику и содержание конкретной теории).