 Wittgenstein’s second reason for rejecting an undecidable mathematical proposition is that it is a contradiction-in-terms. There cannot be “undecidable propositions”, Wittgenstein argues (PR §173), because an expression that is not decidable in some actual calculus is simply not a mathematical proposition, since “every proposition in mathematics must belong to a calculus of mathematics” (PG 376).