Итоги голосования для комментария:
Radaghast Kary они разрабатываются как формальные системы — формальным системам не нужна экспериментальная проверка, у них всё выводится из гипотез/аксиом и правил вывода (логики, например). то есть ими совершенно одинаково можно заниматься вне зависимости от того, являются ли они частью выдуманной за полчаса ролевой сисетмы или частью реально существующей теории всего.
+