sistemdeki türetilebilir teoremlerin gerçekle eşleştirildiği bir formel sistem yorumu - Türkçe İngilizce Sözlük