Textmeddelande: Set theory, arithmetic, and foundations of mathematics