RobinZ comments on The mathematical universe: the map that is the territory

[RobinZ]

Those interested in a rigorous proof are advised to examine Principia Mathematica.