# Wittgenstein and (x).fx

I'm currently reading Ludwig Wittgenstein's posthumous Remarks on the Foundations of Mathematics, and one example he keeps using is the logical inference of 'fa' from '(x).fx'

What does this inference mean, or rather what does the notation '(x).fx' indicate?

-

His notation $(x).fx$ would today usually be written $\forall x\colon f(x)$. If something holds for all $x$, then it also holds for a specific object $a$, i.e. we can infer $f(a)$ from $\forall x\colon f(x)$.