|
|
Пишет зачем ты умер, иван (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} dmitri83) |
Re: Раз уж зашёл, обозначу присутствие
?? Теорема Лёвенгейма-Сколема рассказывает, как построить счётную модель по уже существующей, данной модели теории. В случае ZF ещё никто никогда не видел явно построенной её модели, несчётной ли, счётной ли.
?? Теорема Лёвенгейма-Сколема рассказывает, как построить счётную модель по уже существующей, данной модели теории. В случае ZF ещё никто никогда не видел явно построенной её модели, несчётной ли, счётной ли.
Добавить комментарий:
