Finitely presented group
= 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>.