Реферат: Аксиоматика теории множеств

(a) φ есть ψ. По индуктивному предположению, существует класс W такой, что

x₁…x_n ( W ψ (x₁,…,x_n, Y₁,…, Y_m)).

Теперь остается положить Z = .

(b) φ есть ψ θ. По индуктивному предположению, существуют классы Z₁ и Z₂ такие, что

x₁…x_n ( Z₁ ψ (x₁,…,x_n, Y₁,…, Y_m)) и

x₁…x_n ( Z₂ θ (x₁,…,x_n, Y₁,…, Y_m)).

Искомым классом Z в этом случае будет класс