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

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

173(1): 2024/06/12(水)04:30 ID:HnQbEE+9(4/15) AAS
無限列の尻尾同値類の代表がとれることを「カンニング」というなら
そもそも選択公理が「カンニング」を許容していることになる

つまり「カンニング」がいかんという主張は
選択公理がいかんという主張となる