20/05/13 15:54:47 uMe8boWM.net
>>616
> さて、ラッセルのパラドックスを巡る俗説の一つに
> 「基礎付けの公理は、ラッセルのパラドックスを防ぐために導入された」
> というものがあります。
同意（＾＾
１）IUTの「同義反復的解決」（>>603）が、ラッセルのパラドックス同様の自己言及（二階述語）と見て
２）「基礎付けの公理は、ラッセルのパラドックスを防ぐために導入された」という俗説に 引っ掛かって
３）基礎付けの公理に絡んで、“∈-structure”とか あるいは
”the notion of a species allows one to “simulate ∈-loops” without violating the axiom of foundation of axiomatic set theory - cf. the discussion of Remark 3.3.1, (i).”
などと 言い訳を言っている気がする
俗説に 引っ掛かってｗ（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
I