This monograph belongs to the pen of one of the most famous specialists in the field of mathematical logic. It was conceived by the author as a textbook for students, and also to a certain extent as a reference book. Assuming that the reader has only a general mathematical culture, the book from the very first pages introduces him into deep problems related to the basic concepts of mathematical logic. The material presented in it is valuable for any mathematician, including a specialist in mathematical logic.