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