Углубившись в понятие "факториал - произведение натуральных чисел от 1 до n", непонятен момент начала перемножения, почему именно натуральные и с единицы? тогда 0! под определение факториала не подходит, а вот если определить термин "n факториал" как "произведение (n-1) факториал на n", тогда утверждение 0!=1 становится вполне понятным, вернее сказать основополагающим для всего множества факториалов, да и программистам, думаю, сразу рекурсия вспомнится. Равенство 0! нулю в таком случае делает всё множество факториалов нулевым, равенство 0! бесконечности, в свою очередь, "обесконечивает" все элементы множества. Почему великие умы приняли 0! равным единице? Потому что только в этом случае математика (не только комбинаторика), сохраняет свойство логичности, закономерности, здравого смысла, в конце концов. Так что у тех, кто хочет доказать обратное - желание открыть что-то новое, конечно, похвальное, но сродни постановке всего сущего на трёх слонов и черепаху в бесконечном океане.