24/05/25 17:20:23.07 43OvMs57.net
ラッセルのパラドックスは”無制限の内包公理”を前提した場合のことなので
この公理を捨て去ればパラドックスは回避される
ただ公理を捨てただけだと理論が弱くなるので代わりの公理を入れたい
どんな公理を入れれば無矛盾だと保証できるか？というのが数学基礎論の誕生の経緯
でも「一般的に絶対的な無矛盾性の証明は無理」とわかっちゃったので数学基礎論は廃れた
別に無矛盾性を示さなければ数学してはいけない、なんて誰もいってないから
今もそんなことはまったく気にせず数学しているし 別に問題ない