Euclid's theorem
type: Item
Freebase ID: /m/08v6sw
instance of: theorem
MathWorld ID: EuclidsTheorems
ProofWiki ID: Euclid's_Theorem
defining formula: | ℙ | = ℵ 0
Microsoft Academic ID: 175262894
part of: list of theorems
Wikidata QID: Q1506253
Metamath statement ID: prminf
named after: Euclide
discoverer or inventor: Euclide
label: Satz von Euklid @de
description: theorem that the number of prime numbers is infinite
description: mathematischer Satz zur Primzahltheorie @de
alternative label: infinitude of primes
alternative label: Euklids Primzahlbeweis @de
alternative label: Satz des Euklid @de