ちなみに松坂和夫さんは、

逆に、 det A = Σ sgn(σ) a_{σ(1), 1} * … * a_{σ(n), n} と定義すると、

det は3つのルールを満たすというやり方で、 det の存在を示してはいません。