Is there some finitely presented group $G$ generated by $g_1,...,g_n$ such that 
there is an element $g\in G$ expressed as a finite word in $g_i$'s so that it is impossible to prove neither $g=1$ nor $g\ne 1$?

Is such a group $G$ exists, what would be a relatively simple example?