BM3. Формальные доказательства

Основные методы: Мы определяем теоремы и описываем, как формально построить доказательство. Мы отмечаем дополнительные правила вывода и показываем, как логическая эквивалентность reductio ad absurdum позволяет доказывать от противного.