Первая теорема Геделя
это утверждение, что в любой непротиворечивой формальной арифметической системе существует формула, недоказуемая и неопровержимая внутри системы.
- Предмет: Логика
- Автор: Белова Марина
Похожие термины по предмету логика
1 Ватт
это мощность, которую совершает работу в 1 Дж за время 1 с.