量子理论必须使用复数吗——从 Renou 的网络实验、实数重构到「独立系统」的定义