text: Сохранение: доказательство того, что любой результат о «реальных объектах», полученный с использованием рассуждений об «идеальных объектах» (таких, как бесчисленные множества), может быть доказан без использования идеальных объектов.