[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新

---

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

---

964: 02/15(土)11:52 ID:tNB6oeTf(6/13) AA×
>>941>>3


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
964: [] 2025/02/15(土) 11:52:09.17 ID:tNB6oeTf >>941 >　もしそうならば、存在例化とは 新しい定数記号cを導入できること >　”must be a new term”であること >　「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof” >　ってこと >3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が >　ナンセンスだと思うぜ それがナンセンス。 fという名前を使わずに「選択公理は真」と結論すればよいだけだから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/964
もしそうならば存在例化とは 新しい定数記号を導入できること であること 証明の結論部にも現れてはならない ってこと ならば存在例化により選択関数が存在するという上記陳述が ナンセンスだと思うぜ それがナンセンス という名前を使わずに選択公理は真と結論すればよいだけだから

---

上下前次1-新書関写板覧索設栞歴

---

あと 38 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.025s