Revisión como estaba o 15 de abril de 2016 ás 17:39 editar BanjoBot 2.0 (conversa \| contribucións) Bots 393.002 edicións m →‎top: clean up, removed: {{Matemáticas en progreso}} using AWB ← Edición máis vella		Revisión como estaba o 2 de xaneiro de 2017 ás 15:09 editar desfacer Breogan2008 (conversa \| contribucións) 449.531 edicións Sen resumo de edición Edición máis nova →
Liña 3: En [[matemáticas]] un '''axioma''' non é necesariamente unha verdade evidente, senón unha [[expresión lóxica]] utilizada nunha dedución para chegar a unha [[conclusión]]. En matemáticas distínguense dous tipos de axiomas: axiomas lóxicos e axiomas non-lóxicos. [[Kurt Gödel]] demostrou a mediados do [[século XX]] que os [[sistema axiomático\|sistemas axiomáticos]] de certa complexidade, por definidos e [[consistencia\|consistentes]] que sexan, ~~posuen~~posúen serias limitacións. En todo sistema dunha certa complexidade, sempre haberá unha proposición ''P'' que sexa verdadeira, pero non demostrábel. De feito, Gödel proba que, en calquera [[sistema formal]] que inclúa a [[aritmética]], pode formarse una [[proposición]] ''P'' que afirme que ''este enunciado non é demostrábel''. Se se puidera demostrar ''P'', o sistema sería contraditorio: non sería consistente. Logo ''P'' non é demostrábel e polo tanto ''P'' é verdadeiro. [[Categoría:Lóxica]]

Axioma: Diferenzas entre revisións