The Foundations of Mathematics by Thomas Q. Sibley