Иван строит рабочую модель, следуя рациональной квазиматематической схеме, а вот обосновывает и доказывает ее именно средствами искусства — он сочиняет поэму. Для него математика и искусство выполняют роль экспериментального поля, на котором он исследует этические модели. Математика обладает внутренней непротиворечивостью и всеобщностью. Искусство обладает образной убедительностью. Владимир Успенский, анализируя аксиоматику натурального ряда и перечисляя возникающие трудности, приходит к любопытному выводу: «…термин „доказательство” — один из самых главных в математике — не имеет точного определения. А приблизительное его определение таково: доказательство — это убедительное рассуждение, убеждающее нас настолько, что с его помощью мы способны убеждать других» («Семь размышлений на темы философии математики»)14 . Замечу, что речь идет именно о математической логике, то есть о самой строгой части математики. Иван использует «убедительную демонстрацию» в тех же целях — он доказывает свое этическое построение.
