Une proposition, un énoncé, sont dits décidables dans une théorie axiomatique, si on peut les démontrer ou en démontrer la négation dans le cadre de cette théorie.
Expressions et locutions
Mode Libre —
Contact
Une idée, un bug, une collaboration ? Écrivez-nous.