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

Untitled

"Вывод" аксиомы категорически некорректен, а именно, последний её шаг (все предыдущие шаги тавтологичны и не являются содержательными рассуждениями): $~\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)

Словами

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