11 sept. 2010 ... J'ai alors commencé à modéliser ces systèmes en termes de « jeux ....
conscience de celui qui s'y livre d'autre fin qu'elle même, d'autre but que le .....
que ce soit en métamathématique (en logique mathématique) où l'essentiel
consiste à ... la plus répandue est celle d'un système complètement déductif. 
