Theorem. ${\mathrm{\Delta }}_0$ formulas are absolute for transitive models.