El punto es el siguiente, el libre albedrío es la causa incausada, es una fuerza que no puede ser material ya que lo material se rige por las leyes de la física y por lo tanto no puede ser libre.
Un axioma por definición es una creencia, no existe una "verdad evidente" eso es una verdadera estúpidez
Toda creencia que no es axioma es una creencia que se puede justificar racionalmente a partir de los axiomas que decidamos.
La lógica es un juego y las reglas son los axiomas
Las matemáticas que están intimamente relacionadas con la lógica han podido probar cosas a partir de sí mismas, aquí vienen las tres preguntas:
¿Son las matemáticas completas, es decir, toda verdad puede ser probada?
¿Son las matemáticas consistentes, es decir, no existen contradicciones?
¿Son las matemáticas decidibles, es decir, para toda fórmula del sistema (enunciado), existe algún método para determinar si esa fórmula pertenece o no a los axiomas?
Pues no todo lo verdadero puede ser probado en las matemáticas.
No se puede saber si en un sistema de matemáticas hay o no hay contradicciones.
No todo enunciado que se puede expresar en un lenguaje formal puede ser resultado de un conjunto de axiomas tomado.
Math has a fatal flaw:
Dios puede ser algo verdadero que no tenga prueba
Dios puede ser algo contradictorio
Y Dios no tiene por qué ser expresable en la razón humana