Text this: Modelos lógicos como métodos de estudio sistémico del derecho. Determinación de la operatividad de lenguajes ideales