  We study properties of moduli stabilization in the four dimensional N = 1
supergravity theory with heavy moduli and would-be saxion-axion multiplets
including light string-theoretic axions. We give general formulation for the
scenario that heavy moduli and saxions are stabilized while axions remain
light, assuming that moduli are stabilized near the supersymmetric solution.
One can find stable vacuum, i.e. non-tachyonic saxions, in the
non-supersymmetric Minkowski vacua. We also discuss the cases, where the moduli
are coupled to the supersymmetry breaking sector and/or moduli have
contributions to supersymmetry breaking. We also study the models with axions
originating from matter-like fields. Our analysis on moduli stabilization is
applicable even if there are not light axion multiplets.
