Journal for the Philosophy of Mathematics : 2, 2025