set theory depends on logic and axioms; logic depends on set theory
Published 2020-05-25T16:52:00.002Z by Physics Derivation Graph
The inference rules used in the Physics Derivation Graph could probably be reduced to a more fundamental basis.
The problem is that set theory starts by assuming logical rules and axioms, while the rules of logic are based on set theory.
From the perspective of a Physicist, the only relevance is that the rules being used are self-consistent.