lenguaje artificial
lenguaje formal
lenguaje natural
lenguaje objeto
ley
lógica