19/04/22 22:35:45.96 ZbmAge8N.net
>>340
公理的集合論を語りたければ論理学くらい勉強して来いよ
> 公理は前提になる恒真命題なので
> {x 、x}={x}は前提となる恒真命題
公理的気集合論において、集合{x}とは集合xのみを元に持つ集合であり、
集合{x,y}とは、集合xと集合yのみを元に持つ集合を表す
つまり、xには集合と定義されるものしか入らないのだから、
「●」も「りんご」も集合として定義されていないのだから、そもそもxに置き換えられない
集合の元も集合として定義されていないといけないのだから、どれだけ元の元をとっていっても「●」が現れることはない