Categoría: Lógica

¿Cómo probar un axioma?

Sé lo que estás pensando, “¿Miguel estás loco? ¡No se puede probar un axioma! ¡Ellos son proposiciones tan ‘evidentes’ que se aceptan sin requerir demostración previa! Si pudiera demostrarlo, entonces no sería un axioma, ¡sería un teorema!” Básicamente, esta es la esencia del segundo teorema de incompletitud de Gödel: un sistema formal no puede demostrar su propia consistencia. Pero hay un truco aquí. Aunque un …
Insert math as
Block
Inline
Additional settings
Formula color
Text color
#333333
Type math using LaTeX
Preview
\({}\)
Nothing to preview
Insert