В елементарній програмній логіці виводяться програми з оракулами (схеми програм), що дозволяють підставленням у них відповідних функцій діставати конкретні програми обчислення різних функцій, зображених степеневими рядами. Коректність програм є безпосереднім наслідком їх конструювання.