∃x (∃y (∀z z∉y ∧ y∈x) ∧ ∀y (y∈x → ∃z (∀u (u∈z ↔ u∈y ∨ ∀t (t∈u ↔ t∈y)) ∧ z∈x)))
Türkçe yukarıdadır (Turkish above)
Mimar Sinan Fine Arts University
Mathematics Department
Information (mainly for high-school students, in Turkish)
∃x (∃y (∀z z∉y ∧ y∈x) ∧ ∀y (y∈x → ∃z (∀u (u∈z ↔ u∈y ∨ ∀t (t∈u ↔ t∈y)) ∧ z∈x)))
Türkçe yukarıdadır (Turkish above)
Information (mainly for high-school students, in Turkish)
Son değişiklik: