que tenho certeza que não são provas.
Existe uma prova que tem substância que começa com “existe ..” e não termina com “para todos ..”?
Como exercício, observe um teste de unidade convencional. Observe as entradas para uma determinada afirmação, digamos que você teste 1, 2, 5, 7. A prova seria “para todo x em {1, 2, 5, 7}” – isso é significativo?
Para tentar torná-lo mais substancial, você pode continuar adicionando entradas. Você nunca alcançaria a quantificação universal, porque o infinito não é um conjunto contável.
Ou você pode generalizar suas afirmações até que sejam as afirmações mais fortes que podem ser feitas para entradas geradas aleatoriamente (a coisa mais próxima de quantificação universal que podemos calcular, ou “para todos” via “para um arbitrário”)
Outro argumento para os testes de propriedade, mas talvez uma nova visão sobre o mapeamento de um teste de unidade convencional para um teste de propriedade.