I think we have different definitions of the term “consistency”. If you define it as “lack of contradiction in the classical first-order logic”, then sure, but why be so restrictive?
I think we have different definitions of the term “consistency”. If you define it as “lack of contradiction in the classical first-order logic”, then sure, but why be so restrictive?