Теорема Лёвенгейма-Сколема

Смотреть что такое "Теорема Лёвенгейма-Сколема" в других словарях:

• Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма  Сколема  утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… …   Википедия

• Парадокс Сколема — представляет собой рассуждение, связанное с использованием теоремы Лёвенгейма Сколема для аксиоматической теории множеств. В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали Форти, где при помощи логически верных выводов… …   Википедия

• Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

• Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия

• Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …   Википедия

• История математики — История науки …   Википедия

• Математика Древнего Востока — История науки По тематике Математика Естественные науки …   Википедия