|
|
Пишет kouzdra (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} kouzdra) |
Re: Раз уж зашёл, обозначу присутствие
Зачем там полнота? Она просто по построению является моделью. Другое дело, что довольно ограничительной моделью - у ZF например она не будет содержать никаких "экзотических" объектов. Будет я думаю, примерно (или даже точно) соотвествовать AZ+аксиома конструктивности.
Зачем там полнота? Она просто по построению является моделью. Другое дело, что довольно ограничительной моделью - у ZF например она не будет содержать никаких "экзотических" объектов. Будет я думаю, примерно (или даже точно) соотвествовать AZ+аксиома конструктивности.
Добавить комментарий:
