refutation completeness 0 integridad de la refutación Capacidad de un procedimiento de prueba de derivar eventualmente una contradicción si el conjunto de axiomas es contradictorio. 2018-02-28 Artificial IntelligenceAI