Se dice entonces que y son indecidibles o independientes en .