Posted by fd on March 29, 2001 at 07:27:31 AM EST:
In Reply to: D'ailleurs j'ajoute que tout théorème est aussi une proposition, ignare posted by on March 29, 2001 at 03:39:58 AM EST:
théorème n. m.
MATH, LOG Proposition démontrable qui découle de propositions précédemment établies.