Text this: Set theory, arithmetic, and foundations of mathematics