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