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