sistemdeki türetilebilir teoremlerin gerçekle eşleştirildiği bir formel sistem yorumu - Turc Anglais Dictionnaire