Testing, Mathematical proof, Formal logic