Using the time slicing approximation, we give a mathematically rigorous definition of Feynman path integrals for a general class of functionals on the path space. As an application, we prove the interchange with Riemann-Stieltjes integrals, the interchange with a limit, the perturbation expansion formula, the semiclassical approximation, and the fundamental theorem of calculus in Feynman path integral.