indecidibile

che non si può determinare

in logica matematica, data una formula ben formata e una teoria del primo ordine, si dice indecidibile se non è possibile dimostrare ne la formula stessa ne la sua negazione