[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
964: 02/15(土)11:52 ID:tNB6oeTf(6/13) AAS
>>941
> もしそうならば、存在例化とは 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
> ってこと
>3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が
> ナンセンスだと思うぜ
それがナンセンス。
fという名前を使わずに「選択公理は真」と結論すればよいだけだから。
上下前次1-新書関写板覧索設栞歴
あと 38 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s