Proofs employ logic but usually include some amount of natural language which usually admits some ambiguity.
As probas empregan a lóxica mais adoitan incluír unha parte de linguaxe natural que polo xeral admite certa ambigüidade.