los axiomas de un sistema formal son independientes unos de otros si ninguno es una consecuencia l贸gica de los otros.
(Haack, 1978).
En l贸gica matem谩tica, la noci贸n de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.
Una sentencia 蟽 se dice independiente o indecidible en una teor铆a l贸gica T si T no demuestra ni refuta 蟽; esto es, si no es posible probar 蟽 partiendo de T, ni probar que 蟽 es falsa.
(Wikipedia).