Pauli exclusion principle
これを複数スレイター行列式と呼び、パウリの排他原理はすべて、この形式を用いて展開できる。ただし任意の波動関数を表すためには、これらは完全系を成す必要がある。