This book in a systematic form and, in fact, starting with the "basics," sets out an extensive set of mathematical results concerning a number of fundamental concepts designed to accurately describe and study the formal deductive method in mathematics and the concept of an algorithm closely related to this method.