В геометрии для установления следствий из аксиом применяются следующие методы доказательства:

• Аксиоматический метод. 2 За основу берётся набор аксиом, на основе которых далее формируются предположения. 2 Если истинность предположения подтверждается путём доказательства, оно становится теоремой. 2
• Метод «от противного». 45 Способ рассуждения, при котором при доказательстве следствий используется предположение о противоположном утверждении, а затем выводится противоречие этой гипотезе. 5
• Дедуктивная логика. 2 Опирается на связку «если… то», где «если» — посылка (общее утверждение), а «то» — вывод (частное заключение). 2