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