Research on a General State Formalization Method from the Perspective of Logic

As the world rapidly develops, information, as a vital resource, remains a subject of debate, with its definition and nature still being debated. To address this issue, Objective Information Theory proposes a set of axioms that rigorously define information. This paper aims to construct a formal system of mathematical logic using first-order and higher-order logic. Using well-formed formulas, it formalizes states and demonstrates that nearly all structures and states in various fields can be expressed. Finally, this paper proposes a universal state representation method, which improves the definition of state in Objective Information Theory and builds a bridge for the exchange and research of states across various fields.