Архив vs бэкап

Даже некоторые админы не понимают принципиального отличия архива (возможность отката данных на какое-то предыдущее состояние) от бэкапа (резервного копирования на случай отказа железа или софта). Вот история с башорга, которая эту разницу прекрасно иллюстрирует: http://bash.im/quote/446116

Между прочим, с распространением файловых систем, поддерживающих снапшоты (ZFS, NTFS), архив стал очень дешев. Роль архива способна выполнять и VCS.

А полноценный бэкап (особенно off site) по-прежнему дорог. А который с приемлемой скоростью восстановления - бешено дорог.

Математическое богословие

Я всегда восхищался тем, как на основе нескольких аксиом математики строят систему, которую можно изучать веками как явление природы, открывая новые неожиданные свойства ее объектов, наблюдая их "поведение" и взаимодействия и т.п.

И мне всегда было интересно, можно ли на основе минимума аксиом, с использованием формальной логики и доказательств чего-то вроде теорем, построить математическое богословие?

Причем вопросом о реальном существовании Бога и анализом божественных откровений и священных книг оно может не заниматься вообще, а заниматься только доказательством теорем. Математикам же не надо доказывать реальное существование 5-мерного куба, чтобы изучать его свойства?

Возможно в какой-то момент математический богослов придёт к противоречию - не беда, значит пересмотрит аксиомы. Но все следствия должны из них выводиться, а также из других следствий.

Если нечто подобное уже построено кем-нибудь вроде Фомы Аквинского (назвал богослова наугад), хочу это почитать.