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

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

1 ответ

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

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

2 ответа
Как ВЫ понимаете фразу "что вверху то и внизу" ?
9 года назад от Иван Татаринов
2 ответа
Почему именно Голландия стала разводить цветы (тюльпаны например) ,
9 года назад от Vergil
1 ответ
может ли человек развить скорость 600 км в ч ?
9 года назад от Tori