Na verdade, é reconhecido o carácter formalista do IVA, em ordem, nomeadamente, a evitar, o mais possível, a evasão fiscal, pelo que as respectivas formalidades o são ad substanciam, que não meramente ad probationem.