| Заседание Ученого Совета |
[Jan. 29th, 2008|01:15 pm] |
|
|
|
|
| Comments: |
Исходя из практики математичских рассуждений можно придумать не только ZF, но и много какие другие теории, с самыми разными результатами. Чем плохо NF?
Да с AC история известная. Книжка есть про это старинная: В.Г.Кановей "Аксиома выбора и аксиома детерминированности". Шедевр.
Я имел в виду, что и арифметические следствия у разных теорий будут разные.
>Исходя из практики математичских рассуждений можно придумать не только ZF, но и много какие другие теории, с самыми разными результатами. Чем плохо NF?
Я ровно это и хотел сказать: >Другое дело, что другие люди при том же самом >анализе могут получить другие результаты.
>Я имел в виду, что и арифметические следствия у разных теорий будут разные.
Да, конечно, я этого не отрицаю. | |