Но дело не в том, верно ли Иван формулирует аксиому геометрии Лобачевского. Иван берет аксиоматику Лобачевского, как бы говоря: вот пример создания новой аксиоматики, а я дам другой — в своей области — области нравственной. «Я хотел заговорить о страдании человечества вообще, но лучше уж остановимся на страданиях одних детей. Это уменьшит размеры моей аргументации раз в десять, но лучше уж про одних детей. Тем невыгоднее для меня, разумеется. Но, во-первых, деток можно любить даже и вблизи, даже и грязных, даже дурных лицом (мне, однако же, кажется, что детки никогда не бывают дурны лицом). Во-вторых, о больших я и потому еще говорить не буду, что, кроме того, что они отвратительны и любви не заслуживают, у них есть и возмездие: они съели яблоко и познали добро и зло и стали „яко бози”. Продолжают и теперь есть его. Но деточки ничего не съели и пока еще ни в чем не виновны… Если они на земле тоже ужасно страдают, то уж, конечно, за отцов своих, наказаны за отцов своих, съевших яблоко, — но ведь это рассуждение из другого мира, сердцу же человеческому здесь на земле непонятное. Нельзя страдать неповинному за другого, да еще такому неповинному!.. Дети, пока дети, до семи лет например, страшно отстоят от людей: совсем будто другое существо и с другою природой» (т. 9, стр. 267). Иван начинает с утверждения абсолютных истин, он рассматривает предельный, пограничный случай. Его аксиомы таковы: во-первых, дети — невинны, они яблоко не съели, во-вторых, справедливость в мире должна быть — «нельзя страдать неповинному за другого» — и должна торжествовать немедленно — сейчас и здесь, а не в бесконечности. В мире должно быть адекватное имманентное воздаяние за всякий благой и преступный поступок. Мир, в котором не выполняется хотя бы один из этих постулатов, внутренне противоречив и недостоин существования. При этом Иван поступает именно как математик — он рассматривает мир (бытие, пространство) как замкнутую систему, которую можно описать, перечислив набор аксиом и указав логически корректные правила вывода. Ум Ивана, вопреки его словам, совсем неевклидов. «Эвклидов ум» не может рефлексировать по поводу собственной евклидовости. Иван уже отравлен сомнением в единственности евклидова описания мира. А для этого необходимо осознавать возможность (хотя бы теоретическую) другого, неевклидова варианта10 .