File:Second order arithmetic with googology.svg