[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
968
(1): 01/03(金)16:55 ID:SOzf52p+(1/4) AAS
>>911
整列定理を
「任意の集合は二項関係∈で整列できる」
と”誤解”してる人がいるんだ
へぇ〜

>”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”
>という可算無限の整列の1列を作ることができる
>そして、ここで 整列定理の力を借りると
>”{}<{{}}<{{{}}}<{{{{}}}}∈・・・”
>と読み替えることが可能なんだよ

∈と<は違うんじゃない?
{}<{{{}}} だけど
{}∈{{{}}} ではないから

そもそも
{},{{}},{{{}}},…という列に
整列順序<を入れるのに
整列定理なんて使わなくていいんだけどな

言ってる意味、分かる?
969
(1): 01/03(金)17:09 ID:SOzf52p+(2/4) AAS
>>940
>∈→∈' と書き換えると

書き換えるのはいいけど
∈'の定義は必ず書いてね

1.a∈b ならば a∈'b
2.a∈b かつ b∈c ならば a∈'c

<なら上記でいいけど
≦なら下記も追加してね

3.a=b ならば a∈'b かつ b∈'a
971
(1): 01/03(金)18:46 ID:SOzf52p+(3/4) AAS
>>970
>>∈'の定義は必ず書いてね
>デフォルト !!
>デフォルトという言葉をご存知ですか?

もちろん
君こそ本当に知ってるかい?

default 名 〔義務などの〕怠慢、不履行◆不可算
972: 01/03(金)18:51 ID:SOzf52p+(4/4) AAS
faultは責任という意味
de-は「〜から離れて」という接頭辞

だからdefaultは「責任から離れて」ということで、責任を負わないってことだね
不履行とか怠慢とかいうのは、義務という責任を放擲してるってこと

君がどういうつもりでデフォルトって叫んだかは知らないけど、結果としては正しい意味になってるね
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.044s