  We discuss image formation in gravitational lensing systems using wave
optics. Applying the Fresnel-Kirchhoff diffraction formula to waves scattered
by a gravitational potential of a lens object, we demonstrate how images of
source objects are obtained directly from wave functions without using a lens
equation for gravitational lensing.
