Skip to main content

To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)


An approach is proposed to the construction of a model of development of knowledge in natural sciences beginning with the comprehension of the incompleteness of formal constructions and ending with the generation of a new quality of knowledge with the help of the so-called rule of an additional step. Some examples of overcoming the incompleteness in various fields of natural sciences are considered and analyzed.

This is a preview of subscription content, access via your institution.


  1. St. Beer, Cybernetics and Management [Russian translation], Fizmatgiz, Moscow (1963).

    Google Scholar 

  2. R. Goldblatt, Topoi: The Categorical Analysis of Logic [Russian translation], Mir, Moscow (1983).

    Google Scholar 

  3. E. Nagel and D. Newman, Gцodel’s Incompleteness Theorem [Russian translation], Mir, Moscow (1970).

    Google Scholar 

  4. S. Ginsburg, The Mathematical Theory of Context-Free Languages [in Russian], Mir, Moscow (1970).

    MATH  Google Scholar 

  5. Albert Einstein and Gravics, Collected Articles [Russian translation], Edited by the Commission in Gravitation, AN SSSR, Mir, Moscow (1979).

    Google Scholar 

  6. A. Z. Petrov, “The foreword of the editor of the translation,” in: H. Chiu and V. Hoffman (eds.), Gravitation and Relativity [Russian translation], Mir, Moscow (1965), pp. 5–12.

    Google Scholar 

  7. Yu. K. Gulak, “Statistical quantization in micro-and macrosystems with an attracting center,” in: Some Issues of Space Physics, VAGO, Moscow (1974), pp. 154–160.

    Google Scholar 

  8. A. M. Molchanov, “Resonances in multifrequency oscillations,” Dokl. Akad, Nauk SSSR, 168, 284–287 (1966).

    MATH  MathSciNet  Google Scholar 

  9. P. V. Vasilik, “Some possible mechanisms of influence of solar activity on the dynamics of processes in biosphere,” Kibern. i Vychisl. Tekhn., No. 102, 16–21 (1994).

  10. P. V. Vasilik and A. I. Provotar, “On formal models in investigating critical velocities (illustrated by Lorentz’s transformations),” Kibern. Sist. Anal., No. 4, 14–23 (2002).

    Google Scholar 

  11. S. Hahnemann, Organon der Heilkunst [Russian translation], Homeopathic Medicine, Moscow (2000).

    Google Scholar 

Download references

Author information

Authors and Affiliations


Additional information


Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 145–150, July–August 2006.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Vasilik, P.V., Provotar, A.I. To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences). Cybern Syst Anal 42, 582–586 (2006).

Download citation

  • Received:

  • Issue Date:

  • DOI:


  • incompleteness
  • new quality of knowledge
  • rule of an additional step