It is not the case that The cut-elimination proof depends on induction on formula complexity, which requires system-specific design of inference rules to ensure success.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.