Die mathematische Lösung eines Problems der mathematischen Logik löst kein philosophisches Problem.