axioms أمثلة على

• For example, in an axiomatic system, proof of soundness amounts to verifying the validity of the axioms and that the rules of inference preserve validity (or the weaker property, truth).
  فعلى سبيل المثال، في نظام البديهيات، يهدف برهان السلامة إلى إثبات صحة البديهيات وأن قواعد الاستدلال تحفظ الشيء الصحيح (أو الخاصية الأضعف، وهي الحقيقة).
• Yet somehow hidden behind these axioms is the monster simple group, a huge and extraordinary mathematical object, which appears to rely on numerous bizarre coincidences to exist.
  ومع ذلك وبطريقة ما يوجد وراء هذه البديهيات ما يُعرف بزمرة الوحش البسيطة، وهو كائن رياضياتي ضخم وغريب من الواضح أن وجودها يعتمد على العديد من المصادفات الغريبة.
• The reprint (1757) of this memoir lays down the axioms that positive and negative errors are equally probable, and that certain assignable limits define the range of all errors.
  إعادة طباعة هذه المذكرة في 1757 وضعت الأسس والثوابت القائلة بأن الأخطاء الإيجابية والسلبية متساوية في الاحتمالية، وأن بعض الحدود القابلة للتحديد تميز امتداد وحجم كل الأخطاء.
• The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces.
  إن فكرة فصل مجموعتين أو لا تُعد أمرًا مهمًا بالنسبة لكل من مفهوم الفضاءات المتصلة (ومكوناتها المتصلة) وكذلك لمفهوم مسلمات الفصل الخاصة بالفضاءات الطوبوغرافية.
• The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.
  وتستخدم لتظهر أنه من المستحيل بوساطة برنامج هيلبرت إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات، وبالتالي إعطاء جواب سلبي لمسألة هلبرت الثانية.
• A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, respectively.
  يقال إن النظام الشكلي يكون متميزًا بالاستدعاء الذاتي (أي الفاعلية) إذا كانت مجموعة البديهيات ومجموعة قواعد الاستدلال عبارة عن مجموعات يمكن تقريرها أو مجموعات شبه محددة، حسب السياق.
• The foundational axioms of fluid dynamics are the conservation laws, specifically, conservation of mass, conservation of linear momentum (also known as Newton's Second Law of Motion), and conservation of energy (also known as First Law of Thermodynamics).
  أساسيات حركة السوائل هي قوانين الانحفاظ، وعلى وجه التحديد، قانون بقاء المادة، وانحفاظ الزخم الخطي (المعروف أيضا باسم قانون نيوتن الثاني للحركة)، وانحفاظ الطاقة (المعروفة أيضا باسم القانون الأول للديناميكا الحرارية).
• Smullyan argues that the paradox is akin to the statement "I know a man who is both five feet tall and six feet tall," in effect claiming that the "paradox" is merely a contradiction and not a true paradox at all, as the two axioms above are mutually exclusive.
  يجادل سموليان بأن المفارقة تشبه عبارة "أعرف رجلاً طوله خمسة أقدام وطوله ستة أقدام"، زاعمًا أن "المفارقة" هي مجرد تناقض وليست مفارقة حقيقية على الإطلاق، فالعبارتين أعلاه مستحيل حدوثهما سويا.
• The Diagnostic Handbook was based on a logical set of axioms and assumptions, including the modern view that through the examination and inspection of the symptoms of a patient, it is possible to determine the patient's disease, its cause and future development, and the chances of the patient's recovery.
  دليل التشخيص يستند إلى مجموعة منطقية من البديهيات والافتراضات، بما في ذلك الرأي الحديث من خلال الفحص والتفتيش من أعراض المريض، أنه من الممكن تحديد المرض للمريض وقضيتها ومستقبل المرض وفرص الشفاء للمريض.
• Esagil-kin-apli's Diagnostic Handbook was based on a logical set of axioms and assumptions, including the modern view that through the examination and inspection of the symptoms of a patient, it is possible to determine the patient's disease, its aetiology, its future development, and the chances of the patient's recovery.
  دليل التشخيص لايساجيل-كين-ابلي كان يستند إلى مجموعة من البديهيات المنطقية والافتراضات، بما في ذلك الرأي الحديث أن عن طريق الفحص والتفتيش من أعراض المريض، فمن الممكن تحديد مرض المريض، أسبابه ،تطوراته المستقبلية ،و فرص شفاء المريض.