The natural language propositions that arise when they're interpreted are outside the scope of the system, and the relation between the formal system and its interpretation is likewise outside the formal system itself.
Οι προτάσεις σε φυσική γλώσσα που προκύπτουν όταν ερμηνευθούν είναι εκτός του συστήματος, και η σχέση μεταξύ του τυπικού συστήματος και της ερμηνείας του είναι επίσης έξω από το ίδιο το τυπικό σύστημα.