Journal for the Philosophy of Mathematics : 1, 2024