Восходящая теорема Левенгейма – Скулема