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

بديهية كانتور - ديديكند (Axiom of Cantor-Dedekind)

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