[過去ログ] 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