>>767
Axiom of regularity が、帰納法の公理と関係しているそうだよ
（下記）

（参考）
https://en.wikipedia.org/wiki/Axiom_of_regularity
Axiom of regularity
Given the other axioms of Zermelo?Fraenkel set theory, the axiom of regularity is equivalent to the axiom of induction.
The axiom of induction tends to be used in place of the axiom of regularity in intuitionistic theories (ones that do not accept the law of the excluded middle), where the two axioms are not equivalent.

https://encyclopediaofmath.org/wiki/Induction_axiom
Induction axiom
The assertion of the validity for all x of some predicate P(x) defined on the set of all non-negative integers, if the following two conditions hold: 1) P(0) is valid; and 2) for any x, the truth of P(x) implies that of P(x+1).

The induction axiom is written in the form
P(0)&∀x(P(x)⊃P(x+1))⊃∀x P(x).
In applications of the induction axiom, P(x) is called the induction predicate, or the induction proposition, and x is called the induction variable,

This axiom is called the complete or recursive induction axiom. The principle of complete induction is equivalent to the principle of ordinary induction. See also Transfinite induction.

つづく