Loading AI tools
proposition qui peut être mathématiquement démontrée De Wikipédia, l'encyclopédie libre
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude[2]) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Traditionnellement[réf. nécessaire], un théorème était[Quand ?] présenté comme une structure constituée des éléments suivants :
Au sens large toute assertion effectivement démontrée peut prendre le nom de théorème. Dans les ouvrages de mathématiques, il est cependant d'usage de réserver ce terme aux affirmations considérées comme nouvelles ou particulièrement intéressantes ou importantes. Selon leur importance, ou leur utilité, les autres assertions peuvent prendre des noms différents :
L'ensemble des assertions démontrables à partir d'un ensemble d'axiomes forme une théorie. Une proposition est dite théorème relativement à la théorie dans le cadre de laquelle elle est construite. Celle-ci peut être fausse, mais le statut de théorème de la proposition relativement à la théorie ne relève que de la vérité de l'implication entre la théorie et la proposition.
Un théorème se démontre à partir d'hypothèses de base et de règles d'inférence.
La démonstration, bien que nécessaire à la classification de la proposition comme « théorème », n'est pas considérée comme faisant partie du théorème.
Soient F une formule et T une théorie, on dit que F est un théorème de T si :
Il existe une démonstration de F à partir de T, ce qui se note T ⊢ F
Remarques :
T peut être la théorie vide, c'est-à-dire sans axiomes. Dans ce cas F est un théorème de la logique sous-jacente. On dit dans ce cas que F est une tautologie de cette logique.
T peut être, pour exemples, l'axiomatique d'Euclide pour la géométrie ou l'arithmétique de Peano. Mais, lorsque T n'est pas précisée, généralement, la théorie sous-jacente est la théorie des ensembles avec axiome du choix, et la logique sous-jacente est le calcul des prédicats du premier ordre classique.
Les définitions syntaxiques et sémantiques ci-dessus coïncident pour toutes les logiques comportant un théorème de complétude, soit la plupart des logiques usuelles.
Comme énoncé ci-dessus, un théorème exige un raisonnement logique basé sur des axiomes. Cela consiste en une série d'axiomes fondamentaux (voir système d'axiomes) et un procédé d'inférence qui permet de dériver les axiomes en de nouveaux théorèmes et d'autres théorèmes démontrés auparavant. Dans la logique des propositions, n'importe quelle affirmation démontrée est appelée un théorème.
La notion de théorème apparait dans certaines œuvres d'art :
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.