El uso de matemáticas en la IS es llamado "métodos formales".