| |||
|
|
Миша и Дима Каледин, как вы лично относитесь к well-foundness в ZFC? Конкретно: такой момент, как допущение, что множества состоят только из множеств, то есть без урэлементов, или атомов. Without getting bogged down into logical details, по отношению к core mathematics, естественно (чисто филосовки это допущение, кажется, абсолютно идиотское, но кого это волнует, когда важнее узнать, что "работает", а что "нет"). Добавить комментарий: |
|||