The distinction between teleological necessity and efficient causation in Theorem 5 is really sharp. Framing rebellion as structurally inevitable within the decree but not mechanically compelled in individual acts solves alot of tension between sovereinty and agency. I've wresteled with that paradox for years and this axiom-theorem structure makes it way more workable than most systems I've seen.
The distinction between teleological necessity and efficient causation in Theorem 5 is really sharp. Framing rebellion as structurally inevitable within the decree but not mechanically compelled in individual acts solves alot of tension between sovereinty and agency. I've wresteled with that paradox for years and this axiom-theorem structure makes it way more workable than most systems I've seen.
Thank you and glad it helps. This has also been struggle for me over the years. This is the only path I’ve found to real reconciliation.