Church numerals come from lambda calculus and are based upon the idea that you can represent numbers by using a series of nested functions. At the most basic level, we have zero which can be defined as: (Read More!)