ممنون :)
منم قضایای گودل رو خوندم که به این فکر افتادم. قضایای گودل کلا در مورد دستگاه های سازگار هست. بنظر من میشه تعمیمش داد به فیزیک. برای همین روی "اگر" تاکید کردم.
اگر فیزیک لزوما سازگار باشه، دیگه نمیشه اونو به صورت یک دستگاه اصول موضوعه ای با اصول محدود نوشت.
حالا آیا دانشمندانی هستن که به دنبال تئوری همه چیز (theory of everything) بگردن و واقعا فکر کنن که میشه بهش دست یافت؟