بديهية كانتور - ديديكند

يفتقر محتوى هذه المقالة إلى مصادر موثوقة.
يرجى إضافة قالب معلومات متعلّقة بموضوع المقالة.
من ويكيبيديا، الموسوعة الحرة

في المنطق الرياضياتي، تنص بديهية كانتور-ديديكند (Axiom of Cantor-Dedekind) على أن هناك اقتران (دالة) واحد لواحد بين نقاط الخط المستقيم ومجموعة الأعداد الحقيقية.

تنسب هذه البديهية لعالمي الرياضيات الألمانين جورج كانتور وريتشارد ديدكايند.

مراجع[عدل]