La teoría de grupos es un sistema axiomático se puede basar en el siguiente conjunto de tres axiomas G1, G2 y G3: