Обсуждение:Аксиома бесконечности

Проект «Математика»

Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.

???

Статью ещё никто не оценил по шкале оценок проекта «Математика»

Untitled править

Последнее сообщение: 13 лет назад1 сообщение1 человек в обсуждении

"Вывод" аксиомы категорически некорректен, а именно, последний её шаг (все предыдущие шаги тавтологичны и не являются содержательными рассуждениями): $~\exists a\ (\varnothing \in a\ \land \ \forall b\ (b\in a\to b\in a\ \lor \ \{b\}\in a)\ )\leftrightarrow ~\exists a\ (\varnothing \in a\ \land \ \forall b\ (b\in a\to b\cup \{b\}\in a))$ . По крайней мере, неверно, что $b\in a\to b\in a\ \lor \{b\}\in a$ (тавтология) эквивалентно $b\in a\to b\cup \{b\}\in a$ (заведомо не всеобщее утверждение). Предлагаю удалить этот вывод как не относящееся к теме статьи. Целесообразность остальных примечаний тоже сомнительна. 80.237.26.14 13:30, 3 августа 2010 (UTC)Ответить

Словами править

Последнее сообщение: 12 лет назад1 сообщение1 человек в обсуждении

Такие вещи хорошо бы писать и словами. Т.к. по формулам очень сложно восстановить звучание аксиомы. 87.228.72.42 03:39, 12 мая 2011 (UTC)Ответить

Добавить тему