スレタイ箱入り無数目を語る部屋6

スレタイ箱入り無数目を語る部屋6at MATH

スレタイ箱入り無数目を語る部屋6 - 暇つぶし2ch718:１３２人目の素数さん
22/12/18 22:15:21.14 ofTw280W.net
知っていることと定まっていることは別
知らなくても定まっていることはある
例えばしっぽの同値類の代表系
誰も知らない・・・選択関数を構成不能だから
しかし定まっている・・・選択公理が選択関数の存在を保証しているから

次ページ