This work was the first to give a proof that a certain recursive construction defines a unique function.
Овај рад је био први дати доказ да одређена рекурзивна конструкција дефинише јединствену функцију.