это вне пределов данной науки. :)

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

А потом призываем дух Поппера и пробуем опровергать следствия из развесистых теорем.

ps: теология от физики тем и отличается, что в физике постулаты неплохо привязаны к реальному миру, а в теологии-философии этот шаг пропущен.

upd: на это тему неплохо бы Луговского послушать. он хоть и матерится дико, но по методологии ценные вещи глаголет.