0.99999……は１ではない　その２

[過去ﾛｸﾞ] 0.99999……は１ではない　その２ (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

962(1): 2019/10/30(水)06:05 ID:AKTlAa+0(1) AAS
>>961
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

963: 2019/10/30(水)07:17 ID:yzciM6d9(2/2) AAS
>>962
あんたいつもそれ貼るよな
物理板でも貼ってたよな
虚しくないの？