Теорема Тарского может означать одну из следующих теорем, доказанных Альфредом Тарским:

• Теорема Кнастера — Тарского о неподвижной точке
• Теорема Тарского о невыразимости истины
• Теоремы Тарского о полноте аксиоматики и о существовании алгоритма, смотри Аксиоматика Тарского.
• Теорема Тарского об аксиоме выбора
• Теорема Зайденберга — Тарского

• Задача Тарского

Примечания

Список значений слова или словосочетания со ссылками на соответствующие статьи.

Если вы попали сюда из другой статьи Википедии, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью.

См. также страницы с «Теорема Тарского» в начале названия, поиск по названиям.

Проект «Страницы значений»