数理論理学（数学基礎論）　その12

数理論理学（数学基礎論）　その12 at MATH

数理論理学（数学基礎論）　その12 - 暇つぶし2ch308:１３２人目の素数さん
17/12/30 12:06:26.45 0MEpwTLv.net
”実質的内含のパラドックス”の例をもうひとつ：－
「ライオンは哺乳動物である」は「ライオンおよびクジラは哺乳動物である」を内含する
は真である！