1) the properties of x equal the properties of x. (identity/tautology) these axi

1)

the properties of x equal the properties of x. (identity/tautology)

these axioms allow me to say x (identity/tautology)

-and-

the properties of x are sufficiently equal to the properties of y for the purpose of this argument (ok) (category)

2)

These axioms x and those axioms y allow me to say z for the purpose of this argument, becuase that argument depends only on the axioms of x and y.

-and-

the properties of known x are shared with the properties of unknown y for the purpose of communicating the meaning of y. (ok) (meaning)

3)

given the properties of x and the properties of y, we can deduce z. (deduction) (No, no, no, no….!!!!!)

– and –

given the axioms x and the axioms y, we and deduce z. (deduction) (No, no, no, you can only guess z might be possible, however unlikley)

4)

given this subset of properties of x and this subset of properties of y, we can deduce z from the properties of x or y that are not a subset of x and y. (conflation) (No No No No…..!!!!)