Über die logischen Stärken von Teillösungen mathematischer Probleme