Обсуждение:Теорема Лёвенгейма — Скулема
Перейти к навигации
Перейти к поиску
 | Эта статья была переименована по результатам обсуждения от 12 ноября 2011 года. Старое название Теорема Лёвенгейма — Сколема было изменено на новое: Теорема Лёвенгейма — Скулема. Для повторного выставления статьи на переименование нужны веские основания, иначе такое действие будет нарушать правила (см. п. 8). |
Влияние на аксиоматику[править код]
Статья Теорема Левенгейма — Сколема должна как-то очень сильно упоминать как теорему Гёделя, так и аксиоматику, ибо многое уточняет и проясняет. Подробности — на странице обсуждения теорем Гёделя --Nashev 15:17, 29 апреля 2013 (UTC)