Аксиома – это неразрывное элементарное утверждение, не нуждающееся в доказательстве, на котором основана некоторая теория или система.

Аксиома параллельности - это аксиома, утверждающая, что через точку, не принадлежащую прямой, можно провести ровно одну параллельную прямую к данной прямой.

Обратная теорема - это утверждение, вытекающее из какой-либо теоремы, но которое не обязательно включено в формулировку самой теоремы. Обратная теорема может быть как обоснована теоремой, так и быть не доказуемой.