En teoría de grupos el asunto importante es que el conjunto de teoremas sean los mismos en dos axiomatizaciones diferentes.