Qian, J. Logicism’s Role in Modern Mathematics: A Formal Verification Approach. EHSS 2025, 56, 81-85. https://doi.org/10.54097/t8yvxs26.