背(はい)理(り)法(ほう)

素(そ)数(すう)は無(む)限(げん)に存(そん)在(ざい)する。これに就(つ)いては、ユークリッドが既(すで)に論(ろん)理(り)的(てき)な背(はい)理(り)法(ほう)を用(もち)いて、こんにちもなお適(てき)用(よう)できる証(しょう)明(めい)をしていた。

• Es gibt unendlich viele Primzahlen. Diesbezüglich hat Euclid bereits unter Verwendung eines logischen Widerspruchsbeweises einen Beweis erbracht, der auch heute noch anwendbar ist.