Why is the derivability judgment stable under extension to the rules?

General

New · 0d
question
Why is the derivability judgment stable under extension to the rules?
Hint
© 2026 Scrambled Kitchen·GitHub