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

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

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

مراجع

    • بوابة رياضيات
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.