Qian, Junhao. “Logicism’s Role in Modern Mathematics: A Formal Verification Approach”. Journal of Education, Humanities and Social Sciences, vol. 56, July 2025, pp. 81-85, https://doi.org/10.54097/t8yvxs26.