20/05/10 17:45:26 vZYbiwt9.net
>>430
>「公理主義」を学びましょう~!
>「公理主義」では、決められた公理以外は使ってはいけません
>論理式 ψは、与えられた公理の組合わせから導かれるものでなければなりません
団長~ ま~だ、自分の思い込みの誤りに気づけない?
ほんと、サイコパスだねぇw
>空集合の存在も、与えられた公理から導くか、
>さもなければ 最初から公理として与えるか? 二択しかありません!
もしかして、ま~だ、>>417の問題解けないの?
問題:∃y∀x(x∈y ↔ x∈z ∧ φ(x))から空集合の存在を導くために
φ(x)としてどんな式を書けばいいでしょう?
回答:φ(x)として¬(x∈z)を置けばいい
∃y∀x(x∈y ↔ x∈z∧¬(x∈z))
x∈z∧¬(x∈z)はアンチトートロジー
したがってx∈y ↔ x∈z∧¬(x∈z)は
¬x∈yと同値となり空集合の存在を示す命題が導ける
∃y∀x(¬x∈y)
ほら、¬(x∈z)は公理じゃないよ 分かってないねえ