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 October 23, 2026. http://jehss.com/index.php/ojs/article/view/274.