[過去ログ] 0.99999……は1ではない その2 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
182
(2): 哀れな素人 2019/10/10(木)22:24 ID:M7E4pXIi(43/51) AAS
お前はそれをおかしいと思わないのか(笑

思わないなら、それでいい(笑

それに無限公理が証明しているのは、単に、
自然数はいくらでも作れますよ、ということであって、
それは可能無限公理なのである(笑
183
(1): 2019/10/10(木)22:26 ID:SRlrr+Hl(19/26) AAS
>>182
つまり、可能無限公理は
∃A(Φ∈A∧∀x∈A(x∪{x}∈A))
とはかけないということですか?

∃A(Φ∈A∧∀x∈A(x∪{x}∈A))と可能無限公理は何が違うのでしょうか

安達さんは先ほどツェルメロの無限公理は可能無限公理だとおっしゃっていたので、∃A(Φ∈A∧∀x∈A(x∪{x}∈A))と同じものなのかなと思いましたけど

てかさっき確認しましたよね?わざわざ
193
(1): 2019/10/10(木)22:42 ID:67UjvVEp(9/12) AAS
>>182
公理は何も証明しねーよバカ
安達は公理も証明も分かってない

無数の自然数全てが属す集合が存在する
これは実無限だバカ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s