It is not the case that Bolzano's and Gentzen's criteria are structurally parallel: both require that inferential steps not introduce extraneous conceptual content
?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.