Text this: Set Theory, Arithmetic, and Foundations of Mathematics :