Recent years have seen the appearance of many English-Ianguage hand- books of logie and numerous monographs on topieal discoveries in the foundations of mathematies. As distinct from these, the present book is as easy as possible systematic exposition of the now classical results in the foundations of mathematics.