The problem of the incompleteness of mathematical theory and ontological prerequisites for its solution. Antipenko L.G.

In this monograph, a series of logical and mathematical surveys of the author, begun in his book “The problem of the incompleteness of theory and its epistemological significance”, published in 1986, was continued. In both cases, the main subject of research is the task of clarifying the philosophical and logical prerequisites of the Gödel theorems of incompleteness. But the approaches to solving the problem are different: in the first case, the epistemological, in the second - ontological.

The previous work was demonstrated by the existence of a logical connection between the theorems of the incompleteness and the ontological status of such mathematical objects as an empty class in the theory of sets. This made it possible to resolve the well -known Antinomy of Russell. Subsequently, it was found that all pure (not applied) mathematics is ontological in the sense of fundamental ontology of Martin Heidegger. Within the framework of this ontology, the operation of dialectical denial (prison) was established, which made it possible to create complementary-dialectic logic.

the book is recommended for a wide range of readers familiar with elementary logic and interested in improving their creative potential.