:: deftheorem defines paraconsistent PROOFS_1:def 22 :
for P being non empty ProofSystem holds
( P is paraconsistent iff for S being finite Subset of P holds S is consistent );