They didn't get it wrong.
Their simulation of reality depends on certain initial assumptions being defined a priori. It happens here on the Zone all the time.
If you start with the right axioms, you can prove any theorem you want.
QED