I don't think the Pauli matrices are used per se I think they are derived from the anti-commutation criteria of the basis elements. I don't know what justifies

I don't think the Pauli matrices are used per se I think they are derived from the anti-commutation criteria of the basis elements. I don't know what justifies that criteria though. ianap