Hilbert considered general relativity as an essential part of the foundation of physics. However, quantum field theory is not logically consistent with general relativity, indicating the need for a still-unknown theory of quantum gravity, where the semantics of physics is expected to play a central role. Hilbert's sixth problem thus remains open, Nevertheless, in recent years it has fostered research regarding the foundations of physics with a particular emphasis on the role of logic and precision of language, leading to some interesting results viz. a direct realization of uncertainty principle from Cauchy's definition of `derivative' and the unravelling of a semantic obstacle in the path of any theory of quantum gravity from the axiomatic perspective, unravelling of a logical tautology in the quantum tests of equivalence principle and formal unprovability of the first Maxwell's equation.