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،قاد ديفيد هيلبرت برنامجاً لتأطير كل الرياضيات التي يمكن أن تؤديها الآلة بالبديهيات الدقيقة والقواعد المنطقية للاستنتاج.