Resumen de Finite axiomatization of finite soluble groups
It is proved that the finite soluble groups can be characterized among finite groups by a first-order sentence, namely, the sentence that asserts that no non-trivial element $g$ is a product of 56 commutators $[x,y]$ with entries $x$, $y$ conjugate to $g$.
