Inter-universal geometry と ABC予想 (応援スレ) 45at MATH
Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch473:IUT応援団 団員
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)は公理じゃないよ 分かってないねえ


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch