I believe you meant to write $Q(BG_+)$ in the first paragraph of your post, where $Q = \Omega^\infty\Sigma^\infty$. The this result is really a folk theorem and is sometimes called the "Barratt–Priddy–Quillen–Segal" theorem. This is *not* a folk theorem but rather it is a theorem with a folk authorship in that none of these people wrote down the theorem in this context as far as I know. 

One way to deduce it is to use the the Group Completion Theorem (see e.g.,  McDuff, D.; Segal, G. [Homology fibrations and the “group-completion” theorem](https://doi.org/10.1007/BF01403148). Invent. Math. 31 (1975/76), no. 3, 279–284).

The classifying space the category of finite free $G$-sets and their isomorphisms defines a topological monoid $M$. The group completion theorem tells us in this case that $\Omega B M$ coincides with $Q(BG_+)$.