His collected papers run to about 2,500 pages, most of them on mathematics, not logic.
他的论文集长达2500页，多数论文是关于逻辑以外的数学分支。