ポスト

PA があれば「無理数への収束列」は定義され扱える。  それを「同じと思う」「収束等値」も定義できる。 定義できたからと言って「真の無理数があるか」「集められるか」は PAでは何とも言えない。

メニューを開く

htmath@htmath1

人気ポスト

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