Предположим обратное, и пусть
![$p_1,\;p_2,\;\ldots,\;p_n$ $p_1,\;p_2,\;\ldots,\;p_n$](https://dxdy-04.korotkov.co.uk/f/7/4/8/74863e94f21284bb626580c53923f85182.png)
-- все простые числа. Тогда число
![$p_1\cdot p_2\cdot \ldots\cdot p_n$ $p_1\cdot p_2\cdot \ldots\cdot p_n$](https://dxdy-01.korotkov.co.uk/f/c/5/a/c5a5220d1e49a3f156d2d02a38ab09fa82.png)
-- тоже простое, и притом больше всех перечисленных.
Вот эти многоточия меня вообще убивают. Что это такое? Разве этому знаку где-то давалось определение? Или математик просто не нашелся, что вписать в это место доказательства и поэтому написал многоточие?
Вот эти нижние индексы тоже выглядят сомнительными. Что это за операция? Например, если
![$p = 3$ $p = 3$](https://dxdy-03.korotkov.co.uk/f/2/d/2/2d2de40694978f70c1a546542c89286982.png)
, а
![$n = 5$ $n = 5$](https://dxdy-01.korotkov.co.uk/f/c/2/e/c2ec17c139a8e866e7df7274cd3fd9e882.png)
, то чему равно
![$p_n$ $p_n$](https://dxdy-02.korotkov.co.uk/f/d/c/a/dcacd0c2df330290b04661ab76e2a62c82.png)
?
-- Вт авг 04, 2009 13:22:06 --Вообще, объясните, почему это не случайная последовательность слов,
Докажите, что та последовательность слов была именно случайной.
Я не утверждал, что она случайна. Мне просто непонятно, почему она называется доказательством без каких-либо обоснований. Может быть, начнем с того, что дадим определение доказательству?
-- Вт авг 04, 2009 13:30:38 --Поэтому предлагаю указать на неустранимые недостатки в доказательстве утверждения о том, что
![$0=0$ $0=0$](https://dxdy-03.korotkov.co.uk/f/2/e/0/2e0a8b1976ff0658f6a8e3c33decca5182.png)
. Привожу соответствующее доказательство в арифметике Пеано:
![$({\text`}\,0=0\,{\text'})$ $({\text`}\,0=0\,{\text'})$](https://dxdy-03.korotkov.co.uk/f/a/4/1/a41a18011548c9b12d7a88c54597501582.png)
.
Откуда видно, что это доказательство? Вы в качестве доказательства привели именно то утверждение, которые Вы собрались доказывать, только зачем-то дописали кавычки и скобки. Разве это не порочный круг? И вообще, напишите подробно, какую систему аксиом и правил вывода Вы используете.