In this way, we define a deduction system to be a set of all propositions that may be deduced from another set of propositions.
Με αυτόν τον τρόπο, ορίζουμε ως σύστημα διεξαγωγής το σύνολο όλων των προτάσεων που μπορεί να συναχθεί από ένα άλλο σύνολο προτάσεων.