Аксиома — это утверждение, которое принимается без доказательств.
Теорема — это утверждение, которое требует доказательства.
Доказательство теоремы — это последовательность логических рассуждений, основанных на аксиомах, ранее доказанных теоремах и определениях, которая устанавливает истинность данного утверждения.