Kaomojis

🧠(🔢)🥈

#second order arithmetic #theory of arithmetic #mathematical logic #number theory #formal systems #foundations of mathematics #z2 #second level

ℕ{}²

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

🥇PA<🥈SOA

#second order arithmetic #peano arithmetic #z2 #pa #SOA #mathematical logic #proof theory #formal system strength