Soon, it became clear that a small set of deduction rules are enough to produce the consequences of any set of axioms.
سرعان ما أصبح واضحا أن مجموعة صغيرة من قواعد الاستنتاج تكفي لإنتاج حصيلة أي مجموعة من البديهيات.