Megpróbálhatunk számelméleti függvényeket is reprezentálni logikai kombinátorokkal, például az 'osztók száma' függvényt (pozitív egészekre):

δxy = (=y1)1(Z(%xy)(s(δx(py)))(δx(py)))
dx = δxx

Itt δ egy segéd-függvény: x osztóinak száma y-ig; d maga az osztók száma függvény

Ebből levezethetünk egy 'prím-e' függvényt (pozitív egészekre):

πx = (=(dx)2)