Second-order arithmetic

[creating this so that later today I don't forget about it LittlePeng9 (talk) 08:15, March 28, 2015 (UTC) ]