>>762
黙殺
>>763
>中高一貫校生も来る可能性があるから、
>厳しく赤ペン先生しておくよ

公立高出身のカスが嘘赤ペン入れるから
全部抹消して正しく赤ペンいれとくな
先祖が広島の廿日市から神戸に移住した世田某

うちは明治維新以来本籍東京だから
その前？知らねえわ！

苗字？そうね、坂道メンバーの苗字の中にはあるかな

＞基礎論屋の「宇宙」は、ある公理系を固定して その公理系から生成できる集合の集まりです

ある公理系というのは、例えばZFCな

＞それは、ある公理系から見れば 集合にはならないが、

その言い方はウソ
集合になるかどうかは、公理系で決まるわけではない
例えば「集合全体の集まり」と言い切ってしまったら
それだけでカントールのパラドックスに抵触するから
集合ではなく固有クラスになる

この場合の理由は「集合の全体」　公理系のせいではない

＞追加の公理で 集合と考えらる対象になることがある

「集合全体の集まり」がZFCでパラドックスになるとして
公理を追加すればパラドックスでなくなるというとは絶対にない
ZFCの公理がそのままなのだからそこからパラドックスが導ける

一般にZFC上のパラドックスが発生した場合
これを回避するにはZFCから公理を削除する必要がある
場合によったら古典論理から規則を削除する必要がある
線形論理はその一つ
線形論理では、AとA→BからBを推論すると、Aがなくなる
だからAとA→¬Aから矛盾は導けない　¬AになるだけでAがなくなるから
こういう珍奇な論理を使えば、ラッセルパラドックスは回避できるが
カントールのパラドックスも回避できるかどうかは定かでない

（つづく）