کورت گودل در نوشته ای که در زمان حیاتش منتشر نشد با برهانی وجودی سعی در اثبات وجود خدا نمود. برهان وجودی گودل ، در زبان و منطق ، تابع نظام منطق موجهات محمولی مرتبه دوم s5 می باشد و تبعا معنا شناسی آن معناشناسی جهان های ممکن کریپکی است. برهان گودل شامل سه تعریف ، شش اصل موضوع و سه قضیه اصلی و یک قضیه فرعی است. مبانی فلسفی و ترمینولوژی برهان گودل را باید در آراء لایبنیتز جستجو کرد. برهان گودل هم مورد برخی انتقادات قرار گرفته است و هم توسط برخی از شاگردانش مورد برخی اصلاحات قرار گرفته است. در این رساله ضمن معرفی تفصیلی برهان گودل ، اعتراض سابل و اصلاحیه اندرسون نیز در مورد این برهان مورد بررسی قرار گرفته است.زالتا با همکاری اپن هایمر در قرائتی جدید از برهان آنسلم در پروسلوگیون 2 بر پ.....