:: deftheorem defines Theorems PROOFS_1:def 35 :
for P being non empty ProofSystem holds Theorems P = Theorems ( the Axioms of P, the Rules of P);