AXIOMÁTICA
LOS SISTEMAS DEBILITADOS O SATURADOS
En lugar de modificar, dentro de un sistema de postulados compatibles e independientes, puede intentarse eliminar uno de ellos sin tocar a los demás. Entonces el sistema se debilita, dado que se le han eliminado ciertas determinaciones. Es por eso que allí se le ensancha abriendo la puerta a determinadas posibilidades que el postulado recién extraído tenía, por efecto, excluir. Continue reading ‘LOS SISTEMAS DEBILITADOS O SATURADOS’
INDEPENDENCIA. ECONOMÍA.
Con frecuencia también se exige que los diversos postulados de un mismo sistema sean independientes unos de otros. Esto es, que la modificación que se haga a uno de ellos no convierta el sistema en contradictorio. Para estar seguro de la independencia de un axioma se le prueba modificándolo sin tocar a los otros y extrayendo las consecuencias del nuevo sistema. Continue reading ‘INDEPENDENCIA. ECONOMÍA’
CONSISTENCIA E INTEGRIDAD. DECIDIBILIDAD
La elección de los postulados que constituyen la base de una axiomática, por arbitrarios que sean en ocasiones, no se deja al azar, sino que queda sujeta a diferentes exigencias internas que son, más o menos, imperiosas. Continue reading ‘CONSISTENCIA E INTEGRIDAD. DECIDIBILIDAD’
