(Formally speaking, this then satisfies the premises of an axiom of well-founded induction, which asserts that these two conditions are sufficient for the proposition to hold for all x.)
(Формално, онда ово задовољава премисе аксиома добро основане индукције, што тврди да су довољни за предлог да се одржи за свако х ова два услова.)