ilkel ve önceden tanımlanmış sembollerle ifade edilen kanıtlanmamış bir teoremin türetilmesini engelleyen (matematiksel tanım) - Türkçe İngilizce Sözlük