title: Church Numerals: how to encode zero in lambda calculus?
body: <p>I am learning lambda calculus but I cant seem to understand the encoding for the number 0.</p>
  
  <p>how is "<em>function that takes in a function and a second value and applies the function zero times on the argument</em>" a zero? Is there any other way to encode zero? Could anyone here help me encode 0?</p>