基礎論（集合論）の問題が解けません

　基礎論の入門書にある問題が解けません。解答がついていないので、教えてもらえればありがたいです。
　問題だけを挙げても意味不明になりそうなので、少し前のところから、なるべく丸写ししたいと思います。
　以下、問題です。よろしくお願いします。


＜に関する帰納法（正則性の公理と同等）

　（注！　記号が自由にならないので、「ｙはｘの元（要素）である」をｙ＜ｘ、全称量化記号（Ａを逆さまにしたやつ）をＡと表記します）

　数学において帰納法といえば、普通は自然数に関する帰納法をいう。

　＜に関する帰納法というのは、集合にも同じような性質があったほうがよいという要請を公理の形で書いたものである。

　＜に関する帰納法とは次のようなものである。

　　　　　　Ａｘ（Ａｙ＜ｘＡ（ｙ）→Ｐ（ｘ））→ＡｘＰ（ｘ）

　つまり自然数に関する帰納法はｎ－１について成り立つならばｎでも成り立つとき、すべての自然数でも成り立つということであるが、＜に関する帰納法はｙ＜ｘとなるすべてのｙで成り立つならばｘでも成り立つとき、すべての集合でも成り立つということを述べている。

問題
　自然数に関する帰納法では０で成り立つことがはじめに必要であるが、＜に関する帰納法ではこのようなものがない。なぜか考えよ。

　ヒント：命題論理でｐ→ｑのｐがＦ（＝偽）ならば、この式はいつでもＴ（＝真）であることを思い出せ（そして、ｘ＜φの真偽値がＦであることも）。

No.2 回答者： hogehogeninja 回答日時： 2001/05/17 05:42

いちおうもうちょっと補足。

「ｘが集合Aに含まれるならば、（ほにゃらら）である」
というのが集合の元に対する命題です。
で、Aが空集合なら、「xが集合Aに含まれる」は常に偽です。

この回答へのお礼

　回答、ありがとうございます。まず、ちょっと訂正させてください。

　何と、式が間違っていました。＜に関する帰納法は、

　　　Ａｘ（Ａｙ＜ｘＡ（ｙ）→Ｐ（ｘ））→ＡｘＰ（ｘ）

ではなく、

　　　Ａｘ（Ａｙ＜ｘＰ（ｙ）→Ｐ（ｘ））→ＡｘＰ（ｘ）

です。記号を置き換えるときに間違ってしまいました。

　hogehogeninjaさんに回答していただいたのは、ｘが空集合のとき、Ａｙ＜ｘＰ（ｙ）は恒真になるということだと思います。そういうことであれば、そこまでは分かりました。その上でもう少し聞きたいのですが、ｘが空集合のとき、Ａｙ＜ｘＰ（ｙ）が恒真になることと、＜に関する帰納法に（自然数に関する帰納法の）Ｐ（０）に相当するようなものがないこととは、どのように結び付くのでしょうか？

お礼日時：2001/05/18 01:20

No.1 回答者： hogehogeninja 回答日時： 2001/05/17 05:38

ヒントに書いてありますが、空集合では、空集合に含まれる元についての言及はどんなことも真です。

つまり、集合の元に対するどんな述語も、空集合については常に真です。