如果在数学上逻辑自洽,那么OC的世界就是真正存在的