Почему же "математическая логика" так и не формализовала "математический анализ"? Нет даже аксиом матанализа? В чём дело

9 года назад от иван павлов

1 ответ



0 голосов
Почему же "математическая логика" так и не формализовала "математический анализ"?
А задача математической логики совсем нев этом. Ее задача - показать, как можно доказывать теоремы и как нельзя. И как определить непротиворечивость аксиом.
 Нет даже аксиом матанализа
Может плохо искали? Аксиомы арифметики Пеано - база матанализа, весь анализ строится на понятии числа. А сечения Дедекинда? Читайте Фихтенгольца.
9 года назад от GerDurr

Связанные вопросы

2 ответов
Какие элементарные частицы являются носителями магнитного поля?
9 года назад от Дарья
3 ответов
Откуда и как взялось слово "уголовный"? Ну, тот, который не гражданский и не административный.
13 года назад от Сергей Петров
1 ответ
Какие препараты нужно смешать, чтобы при их употреблении человек превратился в зомби? Подробне - внутри.
3 года назад от Yanochka