Метод доказательства ** основании аксиом и ранее доказанных теорем

Question

Метод доказательства на основании аксиом и ранее доказанных теорем

Answer 1

Прямое доказательство, дедуктивный вывод (modus ponens)