A Godel sentence does not have to be self-referential or to refer to the formal system. It just has to be true in the formal system, but not derivable in it.
(As an analogy, in theory there are tons of different ways to construct non-measurable sets, but in practice all examples come down to some quotient of a nonzero measure set and a measure zero set, like [0,1]/Q.)