暇つぶし2chat MATH - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:１３２人目の素数さん 25/10/10 09:58:12.84 yQyjZawx.net 仮に ZF-Infinity から無限集合の非存在が帰結される としたら (ZF-Infinity)+Infinity=ZF から無限集合の存在と非存在の両方が帰結されることになるから、ZFは矛盾していることになる。 しかし実際には ZF-Infinity と Infinity は独立、すなわち ZF-Infinity から無限集合の非存在は帰結されない。 またこの事実と ZF-Infinity で無限集合を構成できない という事実は何ら矛盾しない。 君が構成主義者で、構成できないものの存在を認めないならZFCを認めちゃダメだ。選択関数は一般に構成できないからね。しかし君はZFCを認めるんだろ？ それダブスタだよ。 51:１３２人目の素数さん 25/10/10 09:58:12.86 yQyjZawx.net 仮に ZF-Infinity から無限集合の非存在が帰結される としたら (ZF-Infinity)+Infinity=ZF から無限集合の存在と非存在の両方が帰結されることになるから、ZFは矛盾していることになる。 しかし実際には ZF-Infinity と Infinity は独立、すなわち ZF-Infinity から無限集合の非存在は帰結されない。 またこの事実と ZF-Infinity で無限集合を構成できない という事実は何ら矛盾しない。 君が構成主義者で、構成できないものの存在を認めないならZFCを認めちゃダメだ。選択関数は一般に構成できないからね。しかし君はZFCを認めるんだろ？ それダブスタだよ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch