Qian, Junhao. “Logicism’s Role in Modern Mathematics: A Formal Verification Approach”. Journal of Education, Humanities and Social Sciences 56 (July 30, 2025): 81–85. Accessed September 19, 2025. https://jehss.com/index.php/ojs/article/view/274.