レス書き込み
スレへ戻る
写
レス栞
レス消
純粋・応用数学・数学隣接分野(含むガロア理論)20
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>957 > >>954-956を以下に訂正(補題4、系4−1は削除) > > 命題 > ω=N > 証明 > (1)ω⊂Nを示す。 > 系2−1よりNは帰納的集合であるから補題1と補題3よりω⊂N。 > (2)ω⊃Nを示す。 > Aは帰納的集合だから補題1と補題3よりω⊂A。加えて系2−1よりωは帰納的集合だからω∈M。補題3よりω⊃N。 > (1)と(2)より主張は示された。
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s