Довідка
Категорія:Теорія моделей
Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до:
навігація
,
пошук
Основна стаття для цієї категорії:
Теорія моделей
.
Підкатегорії
Ця категорія має тільки таку підкатегорію.
У
►
Універсальна алгебра
(3 С)
Сторінки в категорії «Теорія моделей»
Показано 11 сторінок цієї категорії (із 11).
*
Теорія моделей
І
Інтерпретація (логіка)
Н
Нестандартний аналіз
П
Повна теорія
Повнота (логіка)
Правильність
Т
Теорема Геделя про повноту
Теорема Льовенгейма — Сколема
Теорема про компактність
Теореми Геделя про неповноту
У
Універсальна алгебра
Категорії
:
Математична логіка
Металогіка
Прихована категорія:
Вікіпедія:Категорії, які мають основні статті
Навігаційне меню
Особисті інструменти
Ви не увійшли до системи
Обговорення
Внесок
Створити обліковий запис
Увійти
Простори назв
Категорія
Обговорення
Варіанти
Перегляди
Читати
Редагувати
Редагувати код
Переглянути історію
Ще
Пошук
Навігація
Головна сторінка
Поточні події
Нові редагування
Нові сторінки
Випадкова стаття
Участь
Портал спільноти
Кнайпа
Довідка
Пожертвування
Інструменти
Посилання сюди
Пов'язані редагування
Спеціальні сторінки
Постійне посилання
Інформація про сторінку
Елемент Вікіданих
Друк/експорт
Створити книгу
Завантажити як PDF
Версія до друку
В інших проектах
Вікісховище
Іншими мовами
العربية
Български
Deutsch
English
Esperanto
Español
فارسی
Suomi
Français
Magyar
日本語
한국어
Македонски
Norsk nynorsk
Polski
Piemontèis
Português
Slovenčina
Slovenščina
Svenska
Türkçe
اردو
中文
Редагувати посилання