The theorem's insight concerns formal derivability, not whether these axioms are genuinely entangled...
This proposition has not been edited since the history system was added.