Foundation of Math, by Stephen G Simpson

source of the following is http://www.personal.psu.edu/t20/