Kaomojis

ℕ{}²

#second order arithmetic #z2 #sets of numbers #mathematical logic #formal system #peano arithmetic second order