Sin embargo, todavía no se ha dado ningún "significado" a los símbolos discutidos, y de hecho, un sistema formal se puede definir sin tener que hacerlo.