There should be no element of any interpretation of the language that gets involved with the deductive nature of the system.
Δεν θα πρέπει να υπάρχει οποιοδήποτε αντικείμενο οποιασδήποτε ερμηνείας της γλώσσας που να εμπλέκεται με την συμπερασματική φύση του συστήματος.