bonjour,
j'aimerais avoir la définition logique du vrai en math, je sais que la question a déjà été posé ici https://forums.futura-sciences.com/e...hematique.html, mais cela est un débat d'expert, je n'ai que des connaissances niveau terminal S.
J'ai une définition personnelle mais j'ignore si elle est juste, "une proposition est vrai dans une théorie" si elle peut être démontré via des règles d'inférences et des implication => dans cette théorie.
Excusez la naiveté et l'inélégance de ma définition. Dans ce cas les axiomes ne sont pas "vrai", puisque non démontrable ????
Comment sont appelé les axiomes dans ce cas ??
-----