It attempts to prove that, if the object language contains the appropriate numerical expressions, the resulting grammar will include at least some rules with a natural mathematical interpretation.
It tries to show that Wittgenstein's grammatical analysis of the ordinary use of numerical expressions yields familiar theorems of arithmetic.