Un sistema formal está compuesto por: