마지막 문장의 근거가 무엇일까?

컴퓨터가 열심히 일을 하는 틈을 타 라이프니츠의 전기를 읽고 있는데
"그는 과학적인 인식의 일반적 방법을 말과 기호를 사용하는 계산으로 바꾸려 했는데, 이것이 가능하다면 추론을 위한 논리적이고 수학적이며 보편적인 도구라고 생각할 수 있다.
이것이 라이프니츠의 꿈으로, 오늘날 기호논리학의 문을 연다.
그러나 금세기에 들어, 수학에서는 라이프니츠의 꿈을 실현할 수 없다는 사실이 밝혀진다."
라고 쓰여있다.
마지막 문장의 근거가 무엇일까?