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

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

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

543: 2024/06/25(火)21:11 ID:L/OKht87(8/13) AAS
>>541
その理由で先頭に∀を置くのが許されるなら、箱1個の場合でも攻略できることになるだろ
∀x.∃y. x=y
は示せるんだから