Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Обратная теорема
Каждая теорема может быть выражена в форме импликации formula_1, в которой посылка formula_2 является условием теоремы, а следствие formula_3 является заключением теоремы. Тогда теорема, записанная в виде formula_4 является обратной к ней.