不可通约性和观察数据的理论负荷