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