Soon, it became clear that a small set of deduction rules are enough to produce the consequences of any set of axioms.
Σύντομα, έγινε σαφές ότι μια μικρή σειρά κανόνων αφαίρεσης, είναι αρκετή για να παράγει τις συνέπειες οποιουδήποτε συνόλου αξιών.