Todos los matemáticos saben, hoy en día, que hay afirmaciones matemáticas que no pueden ser demostradas ni refutadas. Un lógico precisaría: no pueden ser demostradas ni refutadas en ZFC, la teoría axiomática comúnmente aceptada por los matemáticos; pero, por esto mismo, esta precisión se vuelve superflua: para la mayoría de los matemáticos, —tanto si están familiarizados con la axiomática de ZFC como si no— “demostrable” significa“demostrable en ZFC”. Algunos incluso son más restrictivos y ponen objeciones al uso del axioma de elección. EXTRAIDO DE LA INTRODUCCION
519 pàg
Idioma: 
Autor: Carlos Ivorra
POSTEADO POR ALEIVE
aleive
ULTIMOS COMENTARIOS