However, smooth infinitesimal analysis differs from non-standard analysis in its use of nonclassical logic, and in lacking the transfer principle.
Однако гладкий инфинитезимальный анализ отличен от нестандартного анализа в том, что он использует неклассическую логику, и в том, что для него нарушается принцип переноса.