formal proof - Inglés Sinónimo Diccionario