Qian, J. (2025). Logicism’s role in modern mathematics: A formal verification approach. Journal of Education, Humanities and Social Sciences, 56, 81-85. https://doi.org/10.54097/t8yvxs26