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