Axioma: Diferenzas entre revisións
Contido eliminado Contido engadido
Xas (conversa | contribucións) Sen resumo de edición |
Sen resumo de edición |
||
Liña 5:
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 serias limitacións. En todo sistema
[[ar:بديهية]]
|