Describir: El teorema de Löb :