Formalismul tetradic