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