Hilbert’s sixth problem was a proposal to expand the axiomatic method outside the existing mathematical disciplines, to physics and beyond. This expansion requires development of semantics of physics with formal analysis of the notion of physical reality that should be done. Two fundamental theories capture the majority of the fundamental phenomena of physics: