Результаты поиска
Перейти к навигации
Перейти к поиску
- [[Категория:Металогика]] ...5 КБ (72 слова) - 10:35, 19 мая 2021
- где <math>\vdash</math> ''—'' значение [[Металогика|металогического]] символа, такое, что <math>(Q \land P)</math>является [[Ум ...6 КБ (232 слова) - 17:27, 9 апреля 2024
- * В [[Металогика|металогике]], при построении [[Формальный язык|формальных языков]], турнике ...15 КБ (870 слов) - 07:42, 22 ноября 2023
- [[Халмош, Пол Ричард|Пол Ричард Халмош]] писал: «Математика не является [[Металогика|дедуктивной наукой]] — это клише. Если вы пытаетесь доказать теорему, вам н ...28 КБ (642 слова) - 06:12, 25 декабря 2023
- В тридцатых и сороковых годах XX века начинается разработка [[Металогика|металогики]], предметом которой является исследование системы положений и п ...42 КБ (271 слово) - 20:34, 26 февраля 2025