On the equivalence of systems of rules and systems of axioms in illative combinatory logic