Lv S. Formalism in the History of Philosophical Mathematics: Beyond Logicism and Intuitionism. HSET [Internet]. 2024 Mar. 29 [cited 2026 Jul. 29];88:522-30. Available from: https://drpress.org/ojs/index.php/HSET/article/view/19008