安瑟尔谟
上帝存在的本体论证明：
总述：安瑟尔谟在《宣讲》中第一次系统给出了一个上帝存在的本体论证明，“本体论证明”这一名称
是康德赋予的，意思是说仅仅依赖对概念的分析而不依赖经验事实的证明。本体论证明是典型的先天证
明，表现在两点：一，它是对“上帝”概念的意义所做的逻辑分析；二，“上帝”概念是证明的出发点。
照安瑟尔默看来，人人都有上帝的观念，只要弄清这一观念的意义，就能理解上帝必然存在的证明。这
就是他所说的充足的证明的意思。
证明被表述为下面一个推理：
前ᨀ1：上帝是一个被设想为无与伦比的东西；
前ᨀ2：被设想为无与伦比的东西不仅存在于思想之中，而且也实际存在，否则，与上帝是一个被设想为一个无与伦比伟大的矛盾。
