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