∅mega
Ivácson András Áron
(∀α) (∃β) (∀γ) [[(γ ∈ α) & λ(γ)] → (γ ∈ β)]
(∀α) (∃β) (∀γ) [[(γ ∈ α) & λ(γ)] → (γ ∈ β)]
Currently Offline