 Thus, the middle Wittgenstein rejects undecidable mathematical propositions on two grounds. First, number-theoretic expressions that quantify over an infinite domain are not algorithmically decidable, and hence are not meaningful mathematical propositions.