The book is designed for mathematicians, philosophers, logicians, for workers related to automation, modeling, with the work of computing devices in the field of physics, chemistry, biology, linguistics, etc., for teachers and students, for all persons who want to familiarize themselves with the methods of mathematical logic and the history of its formation.