Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Метатеореми
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Метатеорема
.
Підкатегорії
Ця категорія має тільки таку підкатегорію.
З
Теореми засад математики
(1 К, 11 С)
Сторінки в категорії «Метатеореми»
Показано 10 сторінок цієї категорії (із 10).
Г
Теореми Геделя про неповноту
Теорема Геделя про повноту
Е
Теорема Ербрана
З
Задача розв'язності
К
Теорема про компактність
Л
Теорема Льоба
Теорема Льовенгейма — Сколема
М
Метатеорема
Т
Теорема Курселя
Теорема про дедукцію
