Physics Derivation Graph navigation Sign in

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.