ポスト

PA があれば  有理数列・無限小解析・収束同値 までは定義できる。 Inf(相当)が無いので  無限集合・普遍的な無理数の存在は言えない。  部分的に無理数を追加する事はできる。 収束同値類(実数)は  Inf があれば集合として存在し  Inf なしではクラス止まりになる。

メニューを開く

htmath@htmath1

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ