Editing Internal set theory (section)

=== Transfer ===
*If <math>\phi(x,u_1,\dots,u_n)</math> is an internal formula with no other free variables than those indicated, then
*:<math>\forall^\mathrm{st}u_1\dots\forall^\mathrm{st}u_n\,(\forall^\mathrm{st}x\,\phi(x,u_1,\dots,u_n)\to\forall x\,\phi(x,u_1,\dots,u_n))</math>
:is an axiom.
*In words: If all the parameters  ''A'', ''B'', ''C'', ..., ''W'' of an internal formula ''F'' have standard values then {{nowrap|''F''(''x'', ''A'', ''B'',..., ''W'')}} holds for all ''x''{{'}}s as soon as it holds for all standard ''x''{{'}}s&mdash;from which it follows that all uniquely defined concepts or objects within classical mathematics are standard.