Abstract: This  paper  expounds  the  growth  and  development  on  proof  Theory.
It  covers  several  main  achievements  from  Hilbert  to  Friedman's  work  in recent   years.