Раушенбах демонстрирует, что формальная логика не запрещает существования объектов аналогичных Троице (точнее, обладающих набором 6 формальных свойств)
Стоит подчеркнуть - это не "модель Троицы", и даже не иллюстарция. Это демонстрация "непротиворечивости системы аксиом".
--------
Обсуждение на форуме Кураева