第37 章【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】 - 名柯：当文豪的我其实是大科学家