Problem/Entscheidungsverfahren/Einfach/Aufgabe

Kann es mathematische Probleme innerhalb entscheidbarer Theorien geben?