Wittgenstein's finitist criterion for mathematical meaningfulness would, if applied consistently, el...