Hilbert's ninth problem

Hilbert's ninth problem, one of the famous problems posed by the mathematician David Hilbert in 1900, focuses on the topic of mathematical logic and the foundations of mathematics. More specifically, it asks about the axiomatizability of physics, particularly the question of whether the axioms of physics can be formulated in a way that is both complete and consistent, using a finite set of axioms or a set of axioms that can be finitely derived.