Ver el código de «Sistemas axiomáticos: noción de verdad»

La noción de verdadero y la noción de falso en las ciencias formales tiene un origen convencional al elegir cuáles serán los [[axiomas]].

Se toma a cada uno de los axiomas como verdadero por convención y a partir de allí la verdad se "hereda" de los axiomas a los [[teoremas]] ya que los teoremas se obtienen por razonamientos válidos. Recordemos que los razonamientos válidos no permiten obtener conclusión falsa partiendo de premisas verdaderas.

Por lo tanto, hay dos tipos de enunciados verdaderos en los sistemas axiomáticos: los propios axiomas que se toman verdaderos por convención y los teoremas que son verdaderos por haber sido obtenidos por razonamientos válidos a partir de premisas verdaderas.

Por otra parte, los enunciados falsos serán aquellas [[Sistemas axiomáticos: fórmulas bien formadas|fórmulas bien formadas (FBF)]] que expresan la negación de algún axioma o algún teorema.

Existirán FBF que no son ni verdaderas ni falsas si el sistema es [[Sistemas axiomáticos completos|incompleto]].

Y existirán enunciados cuya expresión y su negación son ambas FBF y ambas son verdaderas si el sistema es [[Sistemas axiomáticos consistentes|inconsistente]].



----

[[Sistemas axiomáticos: diálogos]] | [[Ciencias formales: el surgimiento de las geometrías no euclideanas|Inicio de la unidad]]