Категорически не рекомендую читать электронную версию (скан), кроме самых официальных. Из-за одного пропущенного или лишнего символа в наборе вы можете сломать себе голову.

" Количество этих тире должно было бы выражаться простым числом. Так, P- - — было бы теоремой, в то время как P- - - теоремой бы не являлось"

Почему P- - - не теорема? А потому, что мудак, который сканировал, пропустил одно тире.