>>624
>なんか、君達 大雑把すぎない？その陳述は…
>（コピペ）超限帰納法（英: Transfinite induction）は…
君こそなんで∈-inductionを直接引用しないんだい？
以下の式が理解できないの？
∀x.((∀(y∈x).ψ(y))→ψ(x))→∀z.ψ(z)