Hilbert’s 6th problem is “Can physics be axiomatized?”
Within P-H we approach this to provide a local solution, rather than a global one. We then seek to maximise the local. Unifying the visions of Parmenides and Heraclitus would achieve that in the (unreachable) limit.
Given the role of embodied discussion, we posit axioms as indubitable, renewable Eigenforms.