بديهيات هلبرت

من ويكيبيديا، الموسوعة الحرة

بديهيات هلبرت (بالإنجليزية: Hilbert's axioms) هي مجموعة من عشرين مسلمة وضعت من قبل ديفيد هلبرت خصيصا لتشكل أساس المعالجة الحديثة للهندسة الإقليدية . نشرت هذه المسلمات أول مرة في كتاب أسس الهندسة عام 1899 . من المسلمات الأخرى المستعملة في الهندسة المستوية : مسلمات تارسكي و مسلمات بيركوف . وقد قدم هلبرت هذه المسلمات في خمس مجموعات. ضمت المجموعة الأولى مسلمات تجميعية، و اشتملت المجموعة الثانية على مسلمات ترتيبية و المجموعة الثالثة على مسلمات الموافقة و المجموعة الرابعة على مسلمات الاتصال والمجموعة الخامسة و الأخيرة على مسلمة التوازي.