sentence1: بفرض  اللغة تضمن الانتهاء، فإن التابع المحسوب من قبل جدل كانتور القطري على كل التوابع المحسوبة في تلك اللغة هو ليس محسوباً في تلك اللغة.
sentence2: با تعیین زبان مکث ار محدود، تابع قابل محاسبه‌ای که با استدلال محاوره‌ای کانتور در تمام توابع قابل محاسبه در ان زبان ایجاد می‌شود، در ان زبان قابل محاسبه نمی‌باشد.