Main Question or Discussion Point
what is the proof for the statement 0! = 1??
A definition cannot be incorrect or wrong. What a group of definitions can be is inconsistent, which is subtly different :) Determining if a set of axioms is consistent is a difficult problem (and consistency is the cornerstone for godel's theorem as with an inconsistent set of axioms you can prove stupid things like 0=1, 1=2, etc)... unless a useless definition is defined to be something that is incorrect or wrong. :tongue: