Результаты поиска
Перейти к навигации
Перейти к поиску
- ...ательства конкретных предложений формального языка с помощью этой системы. Метатеоремы, однако, доказываются внешне по отношению к рассматриваемой системе, в ее м [[Категория:Метатеоремы| ]] ...5 КБ (72 слова) - 10:35, 19 мая 2021
- [[Категория:Метатеоремы|Лёба]] ...3 КБ (57 слов) - 06:54, 19 мая 2021
- [[Категория:Метатеоремы|Гёделя]] ...3 КБ (49 слов) - 19:28, 29 июня 2023
- [[Категория:Метатеоремы|Чёрча — Тьюринга]] ...3 КБ (124 слова) - 01:30, 12 февраля 2025
- [[Категория:Метатеоремы|Эрбрана о дедукции]] ...4 КБ (128 слов) - 20:52, 4 февраля 2024
- [[Категория:Метатеоремы|разрешения]] ...5 КБ (98 слов) - 09:28, 10 февраля 2025
- [[Категория:Метатеоремы|Лёвенгейма — Скулема]] ...18 КБ (462 слова) - 16:22, 12 июня 2024
- [[Категория:Метатеоремы|Курселя]] ...33 КБ (1022 слова) - 02:26, 3 ноября 2021
- [[Категория:Метатеоремы|Гёделя]] ...39 КБ (1089 слов) - 22:01, 10 октября 2024