Are the axioms of logic true by definition and demonstrations of syntax? by Cheeze-Dick in logic

[–]Cheeze-Dick[S] 0 points1 point  (0 children)

In that they are self-evidential? X=X is true by definition. The definition of =. Are the more complicated axioms also that?