🌐EnglishEnglishEspañolFrançaisItalianoNederlandsPortuguêsTürkçeالعربية中文日本語EntityQ598840· pop 13· linked from 243 articlesGödel's ontological proofGödel's formalization of the ontological argument for the existence of God using modal logicAvailable in 13 languagesEspañolFrançais中文PortuguêsItalianoالعربيةCatalanEstonianHebrewConnectionsGottfried Wilhelm LeibnizEntityteleological argumentEntityCategoriesArguments for the existence of GodModal logicWorks by Kurt Gödel