n個の物を一列に並べるパターンはn!通りというのは直感的には明らか(n個のものから1つ選んで、その後n-1個のものから1つ選んで.....を繰り返す)ですが、これはどのように数学的に正当化されているのですか？
そもそもn元集合からn元集合への全単射の個数をn!と定義しているのか、有限回の操作というのは何か公理的に特徴づけられているのか...
数学を真面目に取り組んだことが無いので変なことを言っているとは思いますが、回答よろしくおねがいします