21/04/24 23:59:33.15 3QgtzVYs.net
>>248
>じゃあ無限公理を仮定せずに無限集合の存在を証明してみて
素数の集合をＰとする
Ｐは無限集合である ｂｙ ユークリッド (ユークリッドが無限公理なんて知るわけないわなｗ)
ほかにもあるらしいよ
無限公理なんか、関係ないよ
URLﾘﾝｸ(ja.wikipedia.org)
素数
4 素数の個数
4.1 ユークリッドによる証明
4.2 他の証明
素数の個数
詳細は「素数が無数に存在することの証明」を参照
素数が無数に存在することは既に古代ギリシア時代から知られていて、ユークリッドが彼の著作『原論』[10]の中で証明している。