Логика и структура: Этапы доказывания в математике