En el análisis intuicionista y en el análisis computable , la indecomponibilidad o indivisibilidad ( en alemán : Unzerlegbarkeit , del adjetivo unzerlegbar ) es el principio según el cual el continuo no puede dividirse en dos partes no vacías. Este principio fue establecido por Brouwer en 1928 [1] utilizando principios intuicionistas , y también puede demostrarse utilizando la tesis de Church . La propiedad análoga en el análisis clásico es el hecho de que toda función continua desde el continuo hasta {0,1} es constante.
Del principio de indecomponibilidad se sigue que cualquier propiedad de los números reales que se decida (cada número real tiene o no tiene esa propiedad) es de hecho trivial (o todos los números reales tienen esa propiedad, o ninguno de ellos la tiene). A la inversa, si una propiedad de los números reales no es trivial, entonces la propiedad no está decidida para todos los números reales. Esto contradice la ley del tercio excluido , según la cual cada propiedad de los números reales está decidida; por lo tanto, dado que hay muchas propiedades no triviales, hay muchas particiones no triviales del continuo.
En la teoría de conjuntos constructivos (CZF), es consistente asumir que el universo de todos los conjuntos es indescomponible, de modo que cualquier clase para la cual se decide la membresía (cada conjunto es un miembro de la clase o no es miembro de la clase) está vacía o es el universo entero.