Porto, A. Wittgenstein on Mathematical Progress. Philósophos 2023, 28.