For Wittgenstein, mathematical meaning is constituted by proof techniques, not by the mere syntactic...