21/12/27 21:47:29.30 vfUuXfC1.net
>Epsilon-induction
>URLﾘﾝｸ(en.wikipedia.org)
だいたい、なんで肝心の式をコピペしないの？🐎🦌なの？
∈帰納法
∀x.((∀y∈x.Φ(y))⇒Φ(x))⇒∀z.Φ(z)
つまり
任意の集合xについてxの任意の要素yでΦが成り立つならばxでΦが成り立つとき
任意の集合zでΦが成り立つ
（注：{}では要素がないから、上記の式の前提が成りたつなら{}でΦが成り立つ）
21/12/27 21:47:29.30 vfUuXfC1.net
>Epsilon-induction
>URLﾘﾝｸ(en.wikipedia.org)
だいたい、なんで肝心の式をコピペしないの？🐎🦌なの？
∈帰納法
∀x.((∀y∈x.Φ(y))⇒Φ(x))⇒∀z.Φ(z)
つまり
任意の集合xについてxの任意の要素yでΦが成り立つならばxでΦが成り立つとき
任意の集合zでΦが成り立つ
（注：{}では要素がないから、上記の式の前提が成りたつなら{}でΦが成り立つ）