Is the free group on two generators generated by two elements as a monoid?

The free group on two generators maps onto $\Bbb Z^2$. (This is its Abelianisation). If it were generated by two elements as a monoid, then so would $\Bbb Z^2$. But that's not so. If you have two elements $a$, $b$ of $\Bbb Z^2$ generating it as a monoid, they certainly generate it as an Abelian group, so they must be linearly independent as vectors. But in that case $-a-b$ is not in the submonoid of $\Bbb Z^2$ generated by $a$ and $b$.

Likewise, a free group on $n$ generators cannot be generated as a monoid by $n$ elements.

And, further generalizing the rank 2 case, the $(n+1)$-tuple $(a_1^{-1}, a_2^{-1},\ldots,a_n^{-1},a_1a_2\cdots a_n)$ generates all of the rank $n$ free group as a monoid.