This form of the induction axiom is a simple consequence of the standard formulation, but is often better suited for reasoning about the ≤ order.
Αυτή η μορφή του αξιώματος της επαγωγής είναι μια απλή συνέπεια της τυπικής διατύπωσης, αλλά συχνά είναι καταλληλότερο για να αιτιολογούμε τη διάταξη ≤ .