src: This raises naturally the question whether Wittgenstein holds a formalist position in philosophy of mathematics.
tgt: Isto naturalmente levanta a questão de se Wittgenstein defende uma posição formalista em filosofia da matemática.