1=0.999… その10.999…

[過去ﾛｸﾞ] 1=0.999… その10.999… (1001ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

330(1): 2006/01/02(月) 22:24:45 AAS
数学事典では「自然数は無矛盾であるか否かの証明は出来ないが、実数は無矛盾の証明済み」
って書いてあったよ。前者の証明は読んだが後者は見てないので数学辞典から孫引き。

332: 2006/01/02(月) 22:32:10 AAS
>>330
読み間違いか、「～を前提として」と言った意味かだな。実数論の無矛盾性証明と呼ばれるものはあるが、素朴な意味でのものではない。