Such a proof demonstrates that it is "sound" to reason about a particular (operational) interpretation strategy using a particular (axiomatic) proof system.
Μια τέτοια απόδειξη δείχνει ότι είναι "ορθό" ("sound") να χρησιμοποιηθεί λογικά μια συγκεκριμένη (λειτουργική) στρατηγική διερμηνείας χρησιμοποιώντας ένα συγκεκριμένο (αξιωματικό) σύστημα αποδείξεων.