It is not the case that If some proof system proves the empty sequent, it's either inconsistent or redefines 'sequent' so fundamentally it's not comparable.
?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.