An explicit mathematical formula has been derived, using thermodynamic principles, for the calculation of uranium dioxide solubilities as a function of temperature, pH, oxidation potential, and anion (carbonate, phosphate, sulfate, or chloride) concentrations. The solubility of uranium dioxide in an underground used-fuel disposal vault can, therefore, be determined without the need for thermodynamic equilibrium programs.