Выберите верное утверждение.
о Теорема в формальной аксиоматической теории определяется синтаксически.
о В качестве аксиом формальной аксиоматической теории выбираются утверждения, для которых не существуют доказательства.
о В качестве теорем формальной аксиоматической теории выбирается утверждение, истинность которого подтверждается на практике.
Ответ на один из вопросов компьютерной Контрольной работы №1