در نظریه مجموعه ها، استدلال قطری کانتور در سال ۱۸۹۱ توسط گئورگ کانتور به عنوان یک اثبات ریاضی ارائه گردید و نشان داد مجموعه های بی نهایتی وجود دارند که قادر نیستیم اعضای آن ها را در تناظر یک به یک با محموعه اعداد طبیعی قرار دهیم.چنین مجموعه هایی در حال حاضر به عنوان غیرقابل شمارش شناخته می شوند.او در سال ۱۸۹۱ مقاله کانتور در نظر گرفت مجموعه T شامل همه بی نهایتهای بدی آمده از توالی رقم های دودویی (...