Foundation Mathematics, Dexter J. Booth