Within this theory, it is possible to prove interesting statements such as "The complement of the Mandelbrot set is only partially decidable."
Dentro desta teoría, é posible demostrar afirmacións interesantes, tales como «o complemento dun conxunto de Mandelbrot é só parcialmente decidible».