_ Zooみc を ルータを6 7 2だ ーグ
と222
| 和文数訳 |
し訳せ また その命題が正しい
RMする次の和則を数にド L
ととが次のように数
2.14に より。 自徐 7 が数であるとと7 の5仙SA
ことがわかり ました。
12 Avz(zl2 g (のョ1ソ カニの)
ではこのょうな性質を満たす の が[無限にたくさん存在する] ことはと
うすればあらわすことができるでしょうか。
避 数学では, しばしば無限」の略記と レでooが用いられます。 が, 自然数
さ 論や実数諭においては。 Coは対象ではなく概念です。 ですから, カニのなど
と書いても意味をなしません。
[素数が無限に存在する」 という命題は。「どんなに大きな数を選んだとし
でも それより大きな素数が存在する] という命題に置き換えることができ
ます』ようで, 次のようにあらわせばよいのです%。
ツ ヨz(z<ヵ人 Vz(zl2 一> (=1 V の) )
との命題を証明するには, 与えられた任意の自然数ヵ に対して。 それよ
』り犬きな素数を証拠としして見つければよいですね。 実際に証明してみましょ
ら5 1
所AM
M ze07
ヵmd.上
zoetw レニ27111とおくり。 次に集合P を。 とた
技人lan 信/誠
) 大きい素数であることを示そう。
数々で7 を割ると。必ず1余る5/
提は不要にな 6 croな 貫間
5 Am1x2xo MGM
1でないヵ以下の自私
