Mathematical logic and the foundations of mathematics : an introductory survey