[過去ログ] 0.99999……は1ではない その2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
961(1): 2019/10/30(水)05:45 ID:yzciM6d9(1/2) AAS
>>947
>そんなこと大学数学学んだ人は思っていないのに(笑)
あれっ?劣等感婆は数学科出てたっけ?
単なる独学でしょ?
それなのに大学数学学んだって言っちゃてるwww
安達爺よりちょっと知識あるだけなのに笑えるwww
こんな所に粘着してる暇あるなら論文でも書いてみたら?
省1
962(1): 2019/10/30(水)06:05 ID:AKTlAa+0(1) AAS
>>961
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s