[過去ログ] 大学学部レベル質問スレ 27単位目 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
308(1): 2024/07/02(火)17:13 ID:8e/gxRJc(19/21) AAS
定理1:
x ∉ x for any x ∈ N が成り立つ。
証明:
x ∈ N とする。
A := {x} とする。
∅ ≠ A ⊂ N である。
補題1により、 ∃a0 ∈ A such that a ∉ a0 for any a ∈ A が成り立つ。
省2
452: 2024/07/07(日)20:06 ID:5wS20XvX(1/2) AAS
>>308
かなりの損害を会社に送るのはガチだと。
無理
大学のサークルが入ってない単語使うな?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.040s