File:Second order arithmetic.svg