Expressiveness and complexity of formal systems