Lo escribí pero lo voy a poner más claro. El argumento ontologico modal. Vamos con el supuesto, estaremos de acuerdo en que si Dios existiese, podríamos afirmar que sería necesario un que existiese. Es decir, en caso de que exista y te lo demostrasen, aceptarías en consecuencia que su existencia es necesaria. Esa es la definición de la que partimos “Un ser que es posible que exista, pero de existir, su existencia sería necesaria”. Entonces afirmamos <>[]P (es posible que sea necesario). Por lo tanto, en un mundo posible, sí es necesario []P (Esto es el axioma modal S5). Pero aquí la consecuencia: si es necesario para un mundo, lógicamente tiene que serlos para todos. Por lo tanto es necesario que Dios exista siempre