В выводе в контексте формальной системы каждое слово - это либо
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
выведенное слово из аксиомы(Верный ответ)
выведенное слово из ранее выведенного слова(Верный ответ)
аксиома(Верный ответ)