[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
943: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:24 ID:36YscTpw(8/27) AAS
> 存在例化は、ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいなら
> 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」
> ”it also must not occur in the conclusion of the proof”
> ってこと
> 存在例化で 記号cを導入することは、
> なんら新しいことを導入したのではなく
> 単に、証明を読みやすく 簡明にするために
> 「存在記号 ∃ を消す」 が、しかし 結論には影響しない！
> ってことならば、
> ”存在例化により選択関数f∈A'が存在する”
> という陳述がナンセンスだと思うぜ
神戸のセタ君だっけ？
君の言ってることのほうがよっぽどトンでもだぜ
だって君は
「∃xP(x)だが、xにどんな具体的な項cを入れても P(c)を満たさないかもしれない」
っていってるんだぜ？
それって🏇🦌だろ？
上下前次1-新書関写板覧索設栞歴
あと 59 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s