Proposition refers to the semantics of a judgment (statement) (actually expressed concept), which is a phenomenon that can be defined and observed. Proposition refers not to the judgment (statement) itself, but to the semantics expressed. When different judgments (statements) have the same semantics, they express the same proposition.

Generally speaking, in mathematics, we call statements expressed by language, symbols or formulas that can judge whether a proposition is true or not a proposition.