succ=\n.\f.\x.f((nf)x)

> Die Wahrheit über Mathe - guter Artikel. Lesenswert.