|
Twitter
|
Facebook
|
Google+
|
VKontakte
|
LinkedIn
|
Viadeo
|
English
|
Français
|
Español
|
العربية
|
 
International Journal of Innovation and Applied Studies
ISSN: 2028-9324     CODEN: IJIABO     OCLC Number: 828807274     ZDB-ID: 2703985-7
 
 
Wednesday 11 December 2019

About IJIAS

News

Submission

Downloads

Archives

Custom Search

Contact

Connect with IJIAS

  Now IJIAS is indexed in EBSCO, ResearchGate, ProQuest, Chemical Abstracts Service, Index Copernicus, IET Inspec Direct, Ulrichs Web, Google Scholar, CAS Abstracts, J-Gate, UDL Library, CiteSeerX, WorldCat, Scirus, Research Bible and getCited, etc.  
 
 
 

Incomplétude et vérité


Volume 21, Issue 1, August 2017, Pages 153–160

 Incomplétude et vérité

A.-Roger LULA BABOLE1

1 Département de Mathématiques et Informatique, Université de Kinshasa, RD Congo

Original language: French

Received 22 February 2017

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.