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