简体版 English
تسجيل الدخول إنشاء حساب جديد

axiomatize معنى

يبدو
"axiomatize" أمثلة على
الترجمة العربيةجوال إصدار
  • يبسّط الحقائق
أمثلة
  • In the early 20th century, David Hilbert led a program to axiomatize all of mathematics with precise axioms and precise logical rules of deduction which could be performed by a machine.
    في أوائل القرن 20،قاد ديفيد هيلبرت برنامجاً لتأطير كل الرياضيات التي يمكن أن تؤديها الآلة بالبديهيات الدقيقة والقواعد المنطقية للاستنتاج.