”実質的内含のパラドックス”の例をもうひとつ：−

「ライオンは哺乳動物である」は「ライオンおよびクジラは哺乳動物である」を内含する

は真である！