User blog comment:Vel!/Second-order arithmetic/@comment-39162-20170404112859/@comment-30118230-20180113152451

I didn't even know third-order arithmetic existed.....