Por eixemplo, en bells grupos, una operación puet estar commutativa y isto se puet afirmar incluyindo un axioma adicional, pero no ye necesario ta desembolicar a teoría de grupos y mesmo se puet prener a suya negación como un axioma ta estudiar os grupos no-conmutativos.