 Finitely presented group

A finitely presented group is a group admitting a finite group presentation. Finite presentability concerns the existence of such a presentation, not the decidability of its word problem for a group.