19/09/15 08:02:43.15 g2F0dADR.net
>>188
＞５）ノコギリが集合だと考えると
＞ ・ノコギリ⊂{ノコギリ} （包含関係）
＞よって
＞ ・ノコギリ⊂Z
＞ つまり、ノコギリはZに包含されているのです
これはヒドイｗ
もちろん誤り
ノコギリ＝{{}}とする
{{}}⊂{{{}}} ではない
なぜなら、{{{}}}}の要素は{{}}だけであって{}はないから
{{}}⊂{{},{{}}} なら正しいが
したがって
＞・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
は全くの誤り
＞・こう考えないと、
＞「整礎的関係 Rを集合X 上の二項関係 基礎公理により，
＞ すべての集合X に対して，
＞ ∈｜ X := {(x, y) ∈ X × X | x ∈ y}
＞ はX 上の整礎的な二項関係」
＞ は理解できないでしょう
いや、あなたが整礎的関係を誤解してるだけ
整礎である、というために、∈が推移的である必要はない
＞（特に”すべての集合X に対して”に対し、
＞ {{{{}}}}が反例になるが、それはおかしい）
おかしくない
{{{{}}}}が整礎的でないとはいってない
要素をたどっていく操作は必ず有限回でおわる
（これが整礎）
しかし{{}}∈{{{}}}∈{{{{}}}}から
{{}}∈{{{{}}}}が言える必要はない