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