[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
968(1): 2025/01/03(金) 16:55:16.03 ID:SOzf52p+(1/4)調 AAS
>>911
整列定理を
「任意の集合は二項関係∈で整列できる」
と”誤解”してる人がいるんだ
へぇ〜
>”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”
>という可算無限の整列の1列を作ることができる
>そして、ここで 整列定理の力を借りると
>”{}<{{}}<{{{}}}<{{{{}}}}∈・・・”
>と読み替えることが可能なんだよ
∈と<は違うんじゃない?
{}<{{{}}} だけど
{}∈{{{}}} ではないから
そもそも
{},{{}},{{{}}},…という列に
整列順序<を入れるのに
整列定理なんて使わなくていいんだけどな
言ってる意味、分かる?
969(1): 2025/01/03(金) 17:09:59.00 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): 2025/01/03(金) 18:46:23.93 ID:SOzf52p+(3/4)調 AAS
>>970
>>∈'の定義は必ず書いてね
>デフォルト !!
>デフォルトという言葉をご存知ですか?
もちろん
君こそ本当に知ってるかい?
default 名 〔義務などの〕怠慢、不履行◆不可算
972: 2025/01/03(金) 18:51:33.23 ID:SOzf52p+(4/4)調 AAS
faultは責任という意味
de-は「〜から離れて」という接頭辞
だからdefaultは「責任から離れて」ということで、責任を負わないってことだね
不履行とか怠慢とかいうのは、義務という責任を放擲してるってこと
君がどういうつもりでデフォルトって叫んだかは知らないけど、結果としては正しい意味になってるね
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.039s