Реферат: Аксиоматика теории множеств
(a) φ есть ψ. По индуктивному предположению, существует класс W такой, что
x1…
xn (
W
ψ (x1,…,xn, Y1,…, Ym)).
Теперь остается положить Z = .
(b) φ есть ψ θ. По индуктивному предположению, существуют классы Z1 и Z2 такие, что
x1…
xn (
Z1
ψ (x1,…,xn, Y1,…, Ym)) и
x1…
xn (
Z2
θ (x1,…,xn, Y1,…, Ym)).
Искомым классом Z в этом случае будет класс
К-во Просмотров: 523
Бесплатно скачать Реферат: Аксиоматика теории множеств