Por ejemplo, la teoría de grupos y sus axiomas definitorios admiten diversos modelos (cada grupo matemático de hecho es un modelo es un modelo de dicha teoría).