>Исходя из практики математичских рассуждений можно придумать не только ZF, но и много какие другие теории, с самыми разными результатами. Чем плохо NF?
Я ровно это и хотел сказать:
>Другое дело, что другие люди при том же самом
>анализе могут получить другие результаты.
>Я имел в виду, что и арифметические следствия у разных теорий будут разные.
Да, конечно, я этого не отрицаю.