چکیده
در این بخش واژه‌های بیگانه به کار رفته است.
در سال ۱۹۳۳ گودل در مقاله‌ی کوتاهی با عنوان «تعبیری از حساب گزاره‌ای شهودی» با اضافه نمودن ۳ اصل موضوعه و ۱ قاعده‌ی استنتاجی به منطق کلاسیک، نظامی پیشنهاد می‌دهد که معادل نظام موجهاتی S4 لوئیس است. وی سپس ۲ ترجمه‌ی کمی متفاوت از فرمول‌های منطق شهودی بهS4 ارائه داده و ادعا می‌کند: «یک فرمول در منطق شهودی اثبات‌پذیر است، اگر ترجمه‌ی آن در این نظام اثبات‌پذیر باشد.» و حدس می‌زند که عکس این رابطه نیز برقرار است. این ادعا و حدس گودل در سال ۱۹۴۸ توسط مک‌کینزی و تارسکی با استفاده از معناشناسی توپولوژیکی برای منطق‌های موجهات و شهودی به اثبات رسیدند و در سال ۱۹۵۹ دامت و لمون وجود این تناظر را بین تمامی منطق‌های ابرشهودی و منطق‌های بالایS4 به اثبات رساندند. در این مقاله به تشریح اثبات‌های ارائه شده در مقاله‌های ۱۹۴۸ و ۱۹۵۹ پرداخته و با تقریر چند برهان بر درستی این ترجمه‌ها صحه خواهیم گذارد.