推 ekids1234: f. F 01/05 20:03
→ zuchang: 這幾題要怎麼justify 01/05 20:04
→ zuchang: f我覺得是true 因為他說some subset,自己也是自己的子集 01/05 20:18
→ zuchang: 重看一次 應該說基底一定在他的子集裡 所以是對的 01/05 20:19
→ twiddlebug: f。S可以生成V 這樣可以找到subset 當basis吧?! 01/05 20:19
→ twiddlebug: 要證明的意思嗎 這樣D要證10個公設嗎.QQ寫的時候沒發 01/05 20:24
→ twiddlebug: 現要justify 01/05 20:24
→ Ricestone: 它大概認為justify是糾正的意思吧...不然直接prove就好 01/05 20:36
→ ekids1234: ... 抱歉我搞錯了 它是存在不是 for all 01/05 20:42
→ ekids1234: 想到反例就直接 F 下去了 ... 01/05 20:42