Hintikka, Jaakko: Language, Truth and Logic in Mathematics