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