현대 수학의 엄밀함을 세운 거인, 코시 탐험 | 0RIGIN