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