Теория Т - аксиоматизируема, если существуют -формулы, из которых:
(Отметьте один правильный вариант ответа.)
Варианты ответа
выводятся все теоремы Т и другие
не выводятся все теоремы Т
выводятся все теоремы Т и только они(Верный ответ)