해석학을 낳고 위상수학을 낳고 대수학을 낳고 미분기하를 낳고 대수위상을 낳고 범주론을 낳고 대수기하학을 낳은 겁니까