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.