5 Die formale Suche nach dem Ignotum X"