La forma de expedición de dicho sistema de lógica es la forma axiomática siendo su ventaja principal la concisión.