На законе контрапозиции основан метод доказательства теорем от противного.

Пусть требуется доказать теорему У ? З. Мы предполагаем, что её заключение неверно. Далее логически доказываем, что тогда и У неверно. Иными словами, мы доказываем противоположную к обратной теореме: не З ? не У. Тогда прямая теорема по закону контрапозиции также верна. Метод доказательства от противного применяется тогда, когда противоположная к обратной теорема доказывается проще прямой теоремы.

Теоремы можно поделить и по другому основанию. Выделяют теоремы-свойства и теоремы-признаки. В теоремах-свойствах доказываются свойства заданных геометрических фигур. Например, утверждение: «в ромбе диагонали перпендикулярны друг другу», «медианы в треугольнике делятся в отношении 2:1» – это теоремы свойства. Теоремы-признаки – это утверждения, благодаря которым можно определить, о какой фигуре идет речь. Например, «если в четырёхугольнике противоположные стороны равны, то этот четырёхугольник – параллелограмм». Безусловно, верно и обратное утверждение: «у параллелограмма противоположные стороны равны». Иными словами, равенство противоположных сторон является не только свойством, но и признаком параллелограмма.

Свойство фигуры, которое является одновременно и её признаком, называется характеристическим свойством (критерием) данной геометрической фигуры. В принципе, любое характеристическое свойство фигуры можно принять за её определение.

Иногда для удобства выделяют два частных случая теорем – следствие и лемму. Следствие – это утверждение, непосредственно вытекающее из теоремы. Лемма – это вспомогательное утверждение, используемое при доказательстве основной теоремы.

Множество всех неопределяемых понятий и отношений, аксиом и теорем называют аксиоматической теорией. Аксиоматическая теория, построенная на основе девяти приведённых аксиом, называется евклидовой.