Logic, Language, and Mathematics