Así, podemos conocer "a priori" los grupos de automorfismos de cualquier teoría geométrica.