Читаю книжку "Инфинитезимальный анализ" (Гордон).
Утверждение на 24 странице. Для бесконечного стандартного множества

совокупность стандартных элементов

— не множество
Решение. Допустим, что

— множество. Так как все его элементы стандартны заключаем:

конечно.
Но если все элементы конечного множества стандартны, то

— стандартное множество. Тогда по принципу переноса

и, стало быть,

конечно. Это противоречие.
Мой вопрос относится к последней импликации. Я не понял как был использован принцип переноса