Здравствуйте, __kot2, Вы писали:


__>матлогика считает ноль натуральным числом и отличает разные бесконечности, какая из них больше, какая меньше


матлогика может много чего считать так, например, гипотеза Лейбница о том, что в анализе можно непротиворечиво пользоваться бесконечно малыми, была подтверждена именно средствами матлогики: http://en.wikipedia.org/wiki/Hyperreal_number

Разные же бесконечности — а именно бесконечные кардинальные числа — это скорее лучше называть теорией множеств, а не просто матлогикой