What is the difference between a formal derivability judgment and a derivability judgment?

General

New · 0d
question
What is the difference between a formal derivability judgment and a derivability judgment?
Hint
© 2026 Scrambled Kitchen·GitHub