3 ms·Succ in lambda calculus (or set theory)by mejutoco 4y agoSucc in lambda calculus (or set theory)