Conservation: a proof that any result about "real objects" obtained using reasoning about "ideal objects" (such as uncountable sets) can be proved without using ideal objects.
Сохранение: доказательство того, что любой результат о «реальных объектах», полученный с использованием рассуждений об «идеальных объектах» (таких, как бесчисленные множества), может быть доказан без использования идеальных объектов.