Dmitri Pavlov - Обновление манифеста
[Recent Entries][Archive][Friends][User Info]
10:17 am
[Link] |
Обновление манифеста
|
|
|
Никаких осмысленных возражений к формализму Ловера быть не может, ибо он включает в себя Цермело-Френкеля. Если какая-то теорема использует аксиому выбора, то так и пишем, что она доказывается для элементарных топосов, удовлетворяющих аксиоме выбора. В случае теоремы Рамсея требуется выбор для счётных семейств конечных множеств — поэтому необходимо и достаточно наложить соответствующее условие на элементарный топос. |
|