(x ∈ K) ⇔ Q(x). (!)
x
K
Q
x
И наоборот, для каждого подмножества K можно ввести свойство Q – «быть элементом K», и опять-таки будет выполнено соотношение (!). Таким образом, свойство – это почти то же самое, что подмножество: «язык свойств» и «язык подмножеств» тривиально переводимы один в другой. (На языке подмножеств, например, аксиома индукции записывалась бы так:
K
Q –
K»
∀ P{[0 ∈ Р ∧ ∀ x (х ∈ Р ⇒ х' ∈ Р)] ⇒ ∀ x (x ∈ Р)}.)
∀ P{[0 ∈ Р ∧ ∀ x (х ∈ Р ⇒ х' ∈ Р)] ⇒ ∀ x (x ∈ Р)}.)
P
Р
x
х
Р
х
Р
x
x