\begin{definition}[Definition:Factorial Number System]
The '''factorial number system''' is a mixed radix positional numeral system in which the digit in the $i$th column from the right is of base $i$.
\end{definition}