A great piece.

It’s true, maths is used to describe very versatile phenomena and these descriptions don’t seem to yield to some set of axioms. But what would you say to the Gödelian claim that these “axioms of nature” can very well be there, but haven’t been yet discovered?