Discussion:auto-provoquer
Ajouter un sujetCette différenciation est importante en métalogique.
En métalogique nous essayons de remplacer les axiomes (axiomaticité) par des preuves. Le mot évident n'est pas tautologique au le mot auto-évident. Le préfixe auto- ajoute une couche supplémentaire de rigueur métalogique (moins d'axiomes et plus de preuves).
Ainsi, ce préfixe pour cet usage particulier a une signification importante.
Un système mathématique qui va de soi n'a pas besoin d'axiomes supplémentaires.
Dans ce cas, l'axiomaticité est internalisée dans le système.
Une façon de le faire est de créer un système qui ne soit pas la description de tous les systèmes possibles (Parce que le système de tous les systèmes n'existe pas. Il aurait contenu des systèmes mutuellement exclusifs.).
La théorie de la décision est utilisée pour filtrer les systèmes qui sont métalogiquement malsains.
certains systèmes ont des problèmes métalogiques irréversibles ou sont indécidables.