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.