User blog comment:Vel!/Second-order arithmetic/@comment-80.98.179.160-20180109120331

OK, now use Zgoogolplex for proving most things.