Text this: Foundations--logic, language, and mathematics