>219
「自然数は有理数に含まれます。」なら正しいんですけどね。。

有理数は、自然数に含まれます。
の意味は、
有理数が存在しないならば、自然数も存在しないの意味です。