10 ms·

By evaluation? Evaluate Succ 2 such that the result is normal. then you may compare term equality

• traderjane 8y ago
  Do you have a text you recommend on this approach to natural arithmetic?
  • chewxy 8y ago
    You mean lambda calculus? Or peano? For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).