The Foundations of Mathematics - Stewart, Ian; Tall, David (Oxford Univ. Press, 2003)