Georg Cantor (1891). «Ueber eine elementare Frage der Mannigfaltigkeitslehre». Jahresbericht der Deutschen Mathematiker-Vereinigung (գերմաներեն). 1: 75–78. Անգլերեն թարգմանությունը․ Յուվալդ, Ուիլիամ Բ․, ed. (1996). Իմանուիլ Կանտից Դավիթ Հիլբերտ․ Մաթեմատիկայի հիմունքների սկզբնաղբյուր, Հատոր 2 (անգլերեն). Օքսֆորդի համալսարան. էջեր 920–922. ISBN0-19-850536-1.
Տե՛ս Գեորգ Կանտոր (1878), «Ein Beitrag zur Mannigfaltigkeitslehre», Journal für die Reine und Angewandte Mathematik (գերմաներեն), 84: 242–258 254 էջը։ Ապացույցը քննարկվում է Ջոզեֆ Դոբեն (1979), Գեորգ Կանտոր․ նրա մաթեմատիկան ու անսահմանության փիլիսոփայությունը, Harvard University Press, էջեր 61–62, 65, ISBN0-674-34871-0 գրքում։ 65-րդ էջում Դոբենը Կանտորի արդյունքից ավելի ուժեղ արդյունք է ապացուցում։ Նա « միջակայքի ռացիոնալ թվերի ցանկացած հաջորդականություն նշանակում է որպես »։ Կանտորը օգտագործում է նշանակումը միջակայքի ռացիոնալ թվերը թվարկող հաջորդկանության համար, որն անհրաժեշտ է իր -ից միջակայքի իռացիոնալներ բիեկցիայի կառուցման համար։