背(はい)理(り)

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

• จำนวนเฉพาะมีอยู่เป็นจำนวนอนันต์ ในเรื่องนี้ ยูคลิดได้เคยใช้การพิสูจน์ด้วยวิธีหาข้อขัดแย้งทางตรรกะ ซึ่งยังคงสามารถนำมาปรับใช้ได้จนถึงปัจจุบัน