Title: Language Logic and Mathematics