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