Kaomojis

∀X∈ℙ

#second order logic #quantification over sets #powerset #natural numbers #z2 #mathematical logic #foundations of mathematics #comprehension axioms