[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
758
(1): 132人目の素数さん [sage] 2020/11/04(水) 22:16:47.87 ID:26WHSv4q(14/16) AAS
さらにいうと、Zermeloのnはシングルトンでなくてもいい
n-1を最大元とする自然数の有限集合ならなんでもいい
759: 132人目の素数さん [sage] 2020/11/04(水) 22:20:43.75 ID:26WHSv4q(15/16) AAS
>>758
>n-1を最大元とする自然数の有限集合ならなんでもいい

ここまでいくと、Zermeloの順序数とNeumannの順序数は
根本的には違わないことが分かる
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.041s