VERDAD Y LOGICA

Las matemáticas se basan en axiomas, que se presumen verdaderos, depues se

proponen los teoremas a partir de los axiomas, que son comprobados por
razonamiento deductivo, pero siempre ha existido las paradojas que han
molestado a la lógica. Las paradojas son duales respeto a la verdad y falsedad,
estas son un problema porque contradicen la lógica, porque según las axiomas las
cosas solo pueden ser verdaderas o falsas, pero las dos al mismo tiempo. Existen
los sistemas formales basados en axiomas que van mas alla de las paradojas,
Godel demostró que cualquier sistemas basado en axiomas es incompleto, porque
existirán teoremas que no podrán comprobarse como verdaderas o falsas, por lo
que para comprobarlos habrá que colocarle limites, ssi se tiene diferentes axiomas
se requerirá experiencia para seleccionar los axiomas posibles, los que hace hasta
cierto punto subjetivos.