Перейти до вмісту
Головне меню
Головне меню
перемістити на бічну панель
сховати
Навігація
Головна сторінка
Поточні події
Нові редагування
Нові сторінки
Випадкова стаття
Спеціальні сторінки
Участь
Портал спільноти
Кнайпа
Довідка
Сторінка для медіа
Пошук
Знайти
Зовнішній вигляд
Пожертвувати
Створити обліковий запис
Увійти
Особисті інструменти
Пожертвувати
Створити обліковий запис
Увійти
Категорія
:
Метатеореми
6 мов
العربية
English
Euskara
日本語
Norsk nynorsk
Русский
Редагувати посилання
Категорія
Обговорення
українська
Читати
Редагувати
Редагувати код
Переглянути історію
Інструменти
Інструменти
перемістити на бічну панель
сховати
Дії
Читати
Редагувати
Редагувати код
Переглянути історію
Загальний
Посилання сюди
Пов'язані редагування
Постійне посилання
Інформація про сторінку
Отримати вкорочену URL-адресу
Завантажити QR-код
Друк/експорт
Створити книгу
Завантажити як PDF
Версія до друку
В інших проєктах
Елемент Вікіданих
Зовнішній вигляд
перемістити на бічну панель
сховати
Довідка
Матеріал з Вікіпедії — вільної енциклопедії.
Основна стаття для цієї категорії:
Метатеорема
.
Підкатегорії
Ця категорія має тільки таку підкатегорію.
З
Теореми засад математики
(1 К, 11 С)
Сторінки в категорії «Метатеореми»
Показано 10 сторінок цієї категорії (із 10).
Г
Теореми Геделя про неповноту
Теорема Геделя про повноту
Е
Теорема Ербрана
З
Задача розв'язності
К
Теорема про компактність
Л
Теорема Льоба
Теорема Льовенгейма — Сколема
М
Метатеорема
Т
Теорема Курселя
Теорема про дедукцію
Категорії
:
Теореми
Металогіка
Математична термінологія
Прихована категорія:
Вікіпедія:Категорії без основних статей
Пошук
Знайти
Категорія
:
Метатеореми
6 мов
Додати тему
.
.