Proof exists in formal sciences, such as a mathematical proof where symbolic expressions can represent infinite sets and scientific laws having precise definitions and outcomes of the terms.
A proba existe en ciencias formais, como nunha demostración matemática na cal as expresións simbólicas poden representar conxuntos infinitos e leis científicas que teñen definicións precisas e resultados dos termos.