Page "Law of excluded middle" Paragraph 28

Indeed, Hilbert and Brouwer both give examples of the law of excluded middle extended to the infinite.

Hilbert's example: " the assertion that either there are only finitely many prime numbers or there are infinitely many " ( quoted in Davis 2000: 97 ); and Brouwer's: " Every mathematical species is either finite or infinite.

" ( Brouwer 1923 in van Heijenoort 1967: 336 ).