レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>874 > >>872 > ついでにいうと、カットの無い証明に関する証明可能性述語は > 第二不完全性定理の証明の前提である可導性条件を満たさないので > 第二不完全性定理(自然数論の無矛盾性証明が自然数論で証明できない) > に反するように見える結果が証明できる
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s