Qian J. Logicism’s role in modern mathematics: A formal verification approach. EHSS. 2025;56:81-85. doi:10.54097/t8yvxs26