Volume 21, Issue 1, August 2017, Pages 153–160
A.-Roger LULA BABOLE1
1 Département de Mathématiques et Informatique, Université de Kinshasa, RD Congo
Original language: French
Copyright © 2017 ISSR Journals. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The provability of a formal system is an insufficient criterion to translate properly the truth notion of logico-mathematic. The incompleteness is well understanding by its reference in interpretation and truth concept is one of the result. Taking into account the level of language -object language and metalanguage- allow skirting interns contradictions and establishing the logic consistence of the formal system.
Author Keywords: Incompleteness, truth, provability, language, metalanguage, metatheory, formal system.
A.-Roger LULA BABOLE1
1 Département de Mathématiques et Informatique, Université de Kinshasa, RD Congo
Original language: French
Copyright © 2017 ISSR Journals. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
The provability of a formal system is an insufficient criterion to translate properly the truth notion of logico-mathematic. The incompleteness is well understanding by its reference in interpretation and truth concept is one of the result. Taking into account the level of language -object language and metalanguage- allow skirting interns contradictions and establishing the logic consistence of the formal system.
Author Keywords: Incompleteness, truth, provability, language, metalanguage, metatheory, formal system.
Abstract: (french)
La prouvabilité dans un système formel est un critère insuffisant pour traduire convenablement la notion de vérité logico-mathématique. L’incomplétude se comprend mieux en sa référence à une interprétation et le concept de vérité en est le résultat indiqué. La prise en compte des niveaux de langage -Langage objet et métalangage- permet de contourner les contradictions internes et établit donc la consistance logique du système formel.
Author Keywords: incomplétude, la vérité, la prouvabilité, le langage, le métalangage, la métathéorie, le système formel.
How to Cite this Article
A.-Roger LULA BABOLE, “Incomplétude et vérité,” International Journal of Innovation and Applied Studies, vol. 21, no. 1, pp. 153–160, August 2017.
