每个理论都有自身不能证明的假设,是这样的吗?