|
|
Re: Раз уж зашёл, обозначу присутствие
а, в этом доказательстве, с witnesses, да (я сперва подумал про другое, когда строится элементарная подмодель). Хм, никогда не думал об этом. Всё равно, пользы от этой процедуры для построения осязаемой модели ZF мало. Там есть момент в доказательстве, где используется то, что теория полна. ZF не полна, и для того, чтобы её расширить её до полной теории, надо либо предъявить модель (круг замкнулся), либо воспользоваться чем-то вроде аксиомы выбора.
(Читать комментарии) Добавить комментарий:
|
|