База ответов ИНТУИТ

Введение в теорию программирования. Функциональный подход

<<- Назад к вопросам

Что отличает аксиомы от прочих утверждений формальной теории?

(Отметьте один правильный вариант ответа.)

Варианты ответа
фундаментальность
отсутствие необходимости доказательства истинности(Верный ответ)
лаконичность формулировок
Похожие вопросы
Что отличает аксиомы комбинаторной логики от прочих утверждений?
Что отличает теорию типов от прочих теорий?
Каковы основные компоненты формальной теории?
Каковы основные компоненты формальной теории комбинаторной логики?
Какое отношение задают аксиомы ламбда-исчисления?
Что отличает Microsoft .NET от предыдущих идеологий?
Что отличает императивные языки программирования от декларативных?
Что отличает ламбда-исчисление от булевой логики?
Что отличает ранние языки программирования от поздних?
Что отличает Microsoft .NET от других платформ разработки приложений?