Kaomojis
🧠(🔢)🥈
Copy
#second order arithmetic
#theory of arithmetic
#mathematical logic
#number theory
#formal systems
#foundations of mathematics
#z2
#second level
ℕ{}²
Copy
#second order arithmetic
#z2
#sets of numbers
#mathematical logic
#formal system
#peano arithmetic second order
🥇PA<🥈SOA
Copy
#second order arithmetic
#peano arithmetic
#z2
#pa
#SOA
#mathematical logic
#proof theory
#formal system strength
∀X∈ℙ
Copy
#second order logic
#quantification over sets
#powerset
#natural numbers
#z2
#mathematical logic
#foundations of mathematics
#comprehension axioms
#second order arithmetic #theory of arithmetic #mathematical logic #number theory #formal systems #foundations of mathematics #z2 #second level