Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Независимость системы аксиом
При построении аксиоматической теории в виде формальной системы, где отношение логического следования формализуется в виде понятия выводимости, аксиома считается независимой, если она не может быть выведена из других аксиом с помощью правил вывода данной формальной системы. Для широкого класса формальных систем (так называемых теорий 1-го порядка) независимость относительно выводимости совпадает с независимостью относительно логического следования.