die Formalisierung

رسمی‌سازی، صورت‌بندی

Beispiele

• In der Mathematik wurde die von Frege angeregte ''Formalisierung'' nicht nur zur Verbesserung der Präzision in der Mitteilung von Wissenschaft verwendet, sondern mit der mathematischen Logik gewann die ''Formalisierung'' ein Eigenleben als eine eigenständige mathematische Teildisziplin.در ریاضیات، رسمی‌سازی که فرگه پیشنهاد کرده بود نه تنها برای بهبود دقت در بیان علم به کار رفت، بلکه با منطق ریاضی، رسمی‌سازی به عنوان یک رشته فرعی مستقل ریاضی جان گرفت.