I think pure mathematical logic is something which is consistently redefined by mathematicians and physicists alike. There needs to be some way to circumvent the incorrect results. That's the difference between the purity of mathematics and the purity of physics. The purer the physics, the more hypothetical, the purer the mathematics, the more abiding with clearly defined mathematical laws. Discoveries in theoretical physics also rely on new concepts rather than on mathematical laws.
The comic doesn't really add up. In physics things such as the "Dark number" are used in entirely new fields, not arithmetic, which has existed for millenia.
