The book presents the deductive social theory and philosophy underlying it. In accordance with Gödel's incompleteness theorem of any system of rational statements, generally speaking, it is possible to construct an arbitrarily large number of social programs. However, in reality, in fact, only the only option is being implemented. The question of the justification for this particular option is central to the book.