Consistencia relativa

[Sailor Starruler]

Siempre me han resultado casi mágicos los teoremas de consistencia relativa, y tendría curiosidad por conocer alguno (no necesariamente el más util, sino uno que sea relativamente asequible su demostración) Me resulta muy curioso que un axioma no sea redundante y sin embargo trabajar con él esté plenamente justificado habiendo aceptado los otros anteriormente y permitiendo este nuevo axioma llegar a resultados que sin los otros no se pueden obtener ( parece algo casi mágico visto así). AL fin y al cabo un teorema se puede ver ( y me extraña que nunca se haya planteado esa visión) como una determinada información (incluso hasta quizás se podría considerar la cantidad de información que lleva un teorema determinado) y ver como los teoremas no son más que cortes y pegadas de partes de unos teoremas o axiomas con otros, pero la consistencia relativa echa por tierra esa visión idilica de un axioma como porción de información)