The Problem of Incompleteness of Certain Systems of Positive Law Norms,Gödel's First Incompleteness Theorem and Legal Fictions as an Integral Part of Legal Technique
Systematically applying commonly known notions, methods and results of mathematical logic the researcher develops critical analysis of possibility and expediency of direct usage of K. Gödel's first theorem of incompleteness of logically consistent formal theory of arithmetic for reasoning lawyers' views on the completeness of systems of positive law. The article explores the problem of logical contradictions in formal systems, in particular, self-reference and negative self-reference as possible reasons for such contradictions. The author proves that not every negative self-referent statement is a logical contradiction. The researcher stresses that it is possible to use legal technique especially legal fictions for solving the problems of incompleteness of formally defined systems of positive law norms.