Liberal Arts in Russia EN-rus logo
russian flagRussian
ISSN 2305-8420 (Print)
ISSN 2312-6442 (Online)
Current Issue

The concept of truth of the mathematical theory in the context of contemporary mathematics substantiation

Liberal Arts in Russia. 2017. Vol. 6. No. 1. Pp. 40-47.
Get the full text (Russian)
Mikhailova N. V.
Belarusian State University of Informatics and Radioelectronics
6 Petrus Browka Street, 220013 Minsk, Belarus


The concept of truth of the mathematical theory plays an important methodological role in philosophy of mathematics in the context of a link between ontological and gnoseological aspects of a problem of mathematics substantiation. In the article, the author analyzes how the features of mathematical knowledge are reflected in the understanding of concept of truth in the contemporary mathematics. The author claims that the concept of truth of mathematical offers and theorems is metamathematical concept; therefore, underestimation of distinction between mathematics and metamathematics can lead to philosophical misunderstanding. They consist primarily in the fact that theoretically possible level of rigor of contemporary mathematical theories has been virtually represented in the science. In order to resolve the fundamental philosophical and methodological difficulties of the problem of mathematics substantiation, the formal provability in logically consistent theory is necessary. However, contrary to the widespread belief, a rigid formalization of the proof is still not the synonymous with reliability and rigor of mathematical reasoning from the standpoint of the philosophy of contemporary mathematics substantiation.


  • • philosophy of mathematics
  • • problem of truth in mathematics
  • • consistency
  • • substantiation of mathematics


  1. Hlebalin A. V. Sibirskij filosofskij zhurnal. 2016. Vol. 14. No. 2. Pp. 5-12.
  2. Janov Ju. I. Matematika, metamatematika i istina [Mathematics, metamathematics and the truth]. Moscow: KIAM. Preprint no 77, 2006.
  3. Jashin B. L. Matematika v kontekste filosofskih problem [Mathematics in the context of philosophical problems]. Moscow: MSPI, 2012. Pp. 49-55.
  4. Nikiforov A. L. Jepistemologija i filosofija nauki. 2008. Vol. XVI. No. 2. Pp. 50-65.
  5. Manin Ju. I. Matematika kak metafora. Jelektronnoe izdanie [Mathematics as metaphor. Electronic edition]. Moscow: MCCME, 2014. Pp. 93-105.
  6. Perminov V. Ja. Filosofija i osnovanija matematiki [Philosophy and foundations of mathematics]. Moscow: Progress-Tradition, 2001.
  7. Sultanova L. B. Nejavnoe znanie v razvitii matematiki: monografija [Implicit knowledge in the development of mathematics: a monograph]. Ufa: RIC BashGU, 2009.