Mathematical logic, language and development of cognitive tools