13/08/18 23:00:00.14
>>407
その「推論可能」の意味は君が勝手に決めたものだよね
URLﾘﾝｸ(plato.stanford.edu)
> The contemporary logical orthodoxy has it that, from contradictory premises, anything can be inferred.
>>409
コピペでレス流してるのか知らないけどさ
君の言う「ラッセル集合」は{x| not x∈x}ではなくて{x|x∈x}なんだよね？
その解釈で文章のつじつまが合うかね？