Title: Language, logic, and mathematics