Axioms are most certainly not true by definition. Regardless, the particular technical definition of truth I'm using is Tarski's definition of truth[1]. We do

Axioms are most certainly not true by definition. Regardless, the particular technical definition of truth I'm using is Tarski's definition of truth[1]. We don't have to agree whether Tarski's definition is "correct", and I'm happy to qualify my use of the word "truth" here, but I'm referring to a specific technical definition here. [1] https://en.wikipedia.org/wiki/Semantic_theory_of_truth#Tarski's_theory_of_truth https://en.wikipedia.org/wiki/Semantic_theory_of_truth#Tarsk...