人気ブログランキング | 話題のタグを見る

「x=y」を定義する

ゲーデルは、x=yを、

∀u[(x∈u)→(y∈u)]
「任意の集合uに対して、xがuに属しているのならば、yもuに属している」

と定義している。

ここで、
∀u[(x∉u)∪(y∈u)]
「任意の集合uに対して、xがuに属していない、または、yがuに属している」
と書いてみる。

(ごめん、ここまでの下書きが残っていたので、そのまま掲載します。そのうち、一度忘れてあらためて書くかもしれません)
by tomoarrow | 2016-02-15 07:00 | モチーフについて | Comments(0)