Indecomposability (constructive mathematics)