I’m not sure that’s the case, because we don’t know the underlying system (assuming true). More importantly, If math is designed to reflect reality and his pro

I’m not sure that’s the case, because we don’t know the underlying system (assuming true). More importantly, If math is designed to reflect reality and his proof effectively states you can’t prove the system is correct within the system — then effectively aren’t we saying we can’t prove we are in a simulation? Honest question - I have no idea lol