C'est juste une question toute bête de logique sans conséquence, simplement que je me pose la question :
Est-ce qu'on peut voir une théorie comme ci ? :
On a R un ensemble de règles d'inférences, L un langage, T un ensemble de formules closes exprimées dans L et o : R x T² -> T une application
Par exemple si R est l'ensemble des règles de la logique classique, et m le modus ponens, pour l'appliquer à T on a o(m,A=>B,A)=A.
Ce qui définit une structure de (R,L,T,o) pour les théories, par exemple.
De ce fait on pourrait définir une partie génératrice d'une théorie.
-----
Envoyé par hexbinmos 