comment suprimer un post

Sujet du devoir

En mathématiques, le mot axiome désignait une proposition qui est évidente en soi dans la tradition mathématique des Éléments d’Euclide. L’axiome est utilisé désormais, en logique mathématique, pour désigner une vérité première, à l'intérieur d'une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique ou théorie axiomatique. Cette axiomatique doit être non contradictoire ; c'est sa seule contrainte. Cette axiomatique définit la théorie ; ce qui signifie que l'axiome ne peut être remis en cause à l'intérieur de cette théorie, on dit alors que cette théorie est cohérente, ou consistante ou non-contradictoire. Un axiome représente donc plutôt un point de départ dans un système de logique et il peut être choisi arbitrairement. La pertinence d'une théorie dépend de la pertinence de ses axiomes et de son interprétation. En réalité, c'est de la non cohérence de son interprétation que vient la réfutation de la théorie non contradictoire et, par voie de conséquence, de son axiomatique. L'axiome est donc à la logique mathématique, ce qu'est le postulat à la physique théorique. Des axiomes servent de base élémentaire pour tout système de logique formelle. Par exemple, on peut définir une arithmétique simple, comprenant un ensemble de « nombres » et une loi de composition, +, interne à cet ensemble, en posant (en s'inspirant un peu de Peano) :

Où j'en suis dans mon devoir

 En mathématiques, le mot axiome désignait une proposition qui est évidente en soi dans la tradition mathématique des Éléments d’Euclide. L’axiome est utilisé désormais, en logique mathématique, pour désigner une vérité première, à l'intérieur d'une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique ou théorie axiomatique. Cette axiomatique doit être non contradictoire ; c'est sa seule contrainte. Cette axiomatique définit la théorie ; ce qui signifie que l'axiome ne peut être remis en cause à l'intérieur de cette théorie, on dit alors que cette théorie est cohérente, ou consistante ou non-contradictoire. Un axiome représente donc plutôt un point de départ dans un système de logique et il peut être choisi arbitrairement. La pertinence d'une théorie dépend de la pertinence de ses axiomes et de son interprétation. En réalité, c'est de la non cohérence de son interprétation que vient la réfutation de la théorie non contradictoire et, par voie de conséquence, de son axiomatique. L'axiome est donc à la logique mathématique, ce qu'est le postulat à la physique théorique. Des axiomes servent de base élémentaire pour tout système de logique formelle. Par exemple, on peut définir une arithmétique simple, comprenant un ensemble de « nombres » et une loi de composition, +, interne à cet ensemble, en posant (en s'inspirant un peu de Peano) :