We prove the existence of an approximation function for holomorphic solutions of a system of real analytic equations. For this we use ultraproducts andWeierstrass systems introduced by J. Denef and L. Lipshitz. We also prove a version of the Płoski smoothing theorem in this case.