Expressing a numerical and contingently true proposition with Wittgenstein’s definition of number November 2026