La prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para...La prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para ver si la afirmación dada es cierta para ello. Por lo general, por supuesto, esto es imposible porque el universo del discurso es infinito; pero cuando el universo del discurso es finito, ciertamente no se puede argumentar la validez de una prueba exhaustiva.
