On mathematical truth: Wittgenstein and the dissolution of Benacerraf’s dilemma