Considering that these lines specify our laws of physics only if you grant that math is a thing, you could argue that all of mathematics gets in for free ;). Sort of like how ZFC can't encode basic logic, but you still need it for axioms to make sense