axiomatibilidad

axiomatibilidad

 
f. lóg. Propiedad del sistema lógico por la que todas las afirmaciones del mismo pueden ser deducidas de unos enunciados mediante la aplicación de unas reglas.