Esta definición se aplica a todos los lenguajes formalizados conocidos en la época de su formulación –como los de lógica de primer orden-.