Justice is justice,

Theorems, axioms and propositions in mathematics,

Is a logical description of the relationship,

The fact is true,

Include not only logical relations, but also events and phenomena.

The two cannot be confused.