Yeah, not so sure about that. The factorial is defined on …

Yeah, not so sure about that. The factorial is defined on positive integers by induction. What value to assign the base case of 0 is in a sense a free choice, but you know you'll always want 0!=1 for binomial theorem, etc...