Результати пошуку
Перейти до навігації
Перейти до пошуку
- ...для доведення конкретних речень формальної мови за допомогою цієї системи. Метатеореми, однак, доводяться зовні відносно розглянутої системи, в її метатеорії. Заг [[Категорія:Метатеореми]] ...5 КБ (75 слів) - 20:32, 16 червня 2023
- [[Категорія:Метатеореми|Льоба]] ...3 КБ (61 слово) - 03:44, 28 липня 2019
- [[Категорія:Метатеореми]] ...2 КБ (16 слів) - 20:10, 8 травня 2023
- [[Категорія:Метатеореми]] ...4 КБ (133 слова) - 09:56, 11 березня 2022
- [[Категорія:Метатеореми|Льовенгейма — Сколема]] ...9 КБ (326 слів) - 17:29, 23 лютого 2025
- [[Категорія:Метатеореми|Компактність]] ...14 КБ (405 слів) - 21:38, 19 січня 2025
- [[Категорія:Метатеореми|Ербрана]] ...21 КБ (868 слів) - 08:27, 3 липня 2024
- [[Категорія:Метатеореми|Геделя про неповноту]] ...32 КБ (1107 слів) - 12:52, 19 лютого 2025
- [[Категорія:Метатеореми]] ...30 КБ (1012 слів) - 09:22, 27 серпня 2024