But the question is, starting from the same axioms—not logical axioms, not axioms of the deductive systems, but the axioms of whatever it is you’re trying to reason about—would they produce the same theorems?
But the question is, starting from the same axioms—not logical axioms, not axioms of the deductive systems, but the axioms of whatever it is you’re trying to reason about—would they produce the same theorems?