数学基礎論・数理論理学　その18

数学基礎論・数理論理学　その18at MATH

数学基礎論・数理論理学　その18 - 暇つぶし2ch434:１３２人目の素数さん
16/09/24 00:01:50.29 bJo8Ywv3.net
>>416
もしAとBが論理式ならA→Bは論理式だが
＞A:= { x | ￢(x ∈ x) }
↑
これじゃ集合が論理式になっちゃうよ。
真偽値持つのかよ？
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

次ページ

続きを表示

1を表示