Где вы увидели вырывание частей из доказательства, выдаваемые за само доказательство?
Читаем:
И первый, используя, выдержки из доказательства - доказывает второму эту самую теорему.
В рамках русского языка выделенная фраза указывает на вырванные куски.
Второе, тот второй математик уже может знать часть мат. аппарата, который вводится в доказательстве
Доказательство обязано быть полным и последовательным. Иначе это не доказательство.
Естественно, опираются на ранее доказанные теоремы (нередко эти отсылки озвучиваются явно), но оные оформлены именно в виде самостоятельных теорем, а не являются ///выдержки из доказательства ВТФ.
также доказательство некоторых лемм
Лемма -- это вспомогательное утверждение, доказываемое в рамках доказательства теоремы. Выделяется отдельно чаще всего просто для упрощения изложения, крайне редко используется в других доказательствах.
не обязательно читать все доказательство, а только ключевые, еще не доказанные положения
Обязательно. Кто сказал, что вместе собранные леммы образуют единое доказательство?
Поле действительных чисел было расширено?
Формально и строго говоря, нет. Никаких новых вещественных чисел введено не было.
Склеено 05 Сентябрь, 2019, 20:54:28 pm
Какую функцию вы видите? Что она принимает и что возвращает?
Читать научись. "Как математик", а не "как программист".
Склеено 05 Сентябрь, 2019, 20:58:08 pm
То неубывающий ряд, ограниченный сверху имеет предел.
Неверно. Ряд вида +1 -1 +1 -1 ... ограничен и сверху, и снизу, не убывает, но не имеет предела.
Склеено 05 Сентябрь, 2019, 21:00:11 pm
Неужели? Вы отрицаете существование американского президента не знавшего английский язык?
А читать научиться не пробовали? Где здесь РЕАЛЬНЫЙ объект?