formal proof - Englisch Synonyme Wörterbuch