En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, fonction successeur, fonctions projections et les schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives.