 On Wittgenstein’s intermediate finitism, an expression quantifying over an infinite domain is never a meaningful proposition, not even when we have proved, for instance, that a particular number \(n\) has a particular property.