阪大工学部君　集合論でも初歩からつまづきまくり

１．対角線論法でRを可算列として整列させるのに可算選択公理が必要とかぬかす
　　（背理法の仮定を定理として証明しようとする●●）
２．可算集合Aを整列させるのにJechの明解な証明でも可算選択公理で十分とかぬかす
　　（あらかじめすべての空でない集合に対して選択関数が定義されてる必要性がわからん●●）

もうツーアウトだぞ　あと一つでチェンジな

あと一つ！あと一つ！！