Define successor, addition, multiplication, zero test, subtraction, predecessor, equality for church numerals?

Pure Lambda Calculus