| |||
|
|
Это там естественным образом вылазит - раз все конечное - любому множеству соответствует натуральное число - его мощность. С другой стороны - раз среди них есть "бесконечные" множества - есть и "бесконечные" натуральные числа. А еще когда-то была такая забавная книжка под редакцией Есенина-Вольпина - Френкель (который F в ZF) и Бар-Хиллел, "Основания теории множеств". Это такой старый (где-то второй половины 50-х), но любопытный обзор всяких завиральных идей в области оснований математики. Интересно - а использовать вместо теории множеств теорию категорий в качестве framework при обучении никто не пробовал? Оно вроде бы должно быть осуществимо. Добавить комментарий: |
|||