Statements in non-standard analysis can be translated into statements about limits, but the same is not always true in smooth infinitesimal analysis.
Утверждения на языке нестандартного анализа могут быть переведены в утверждения о пределах, но то же самое не всегда верно в гладком инфинитезимальном анализе.