Se trata de una notación muy flexible, y permite notaciones formales muy adecuadas para la teoría.