На мой взгляд, проблема с аксиомой выбора не в том, можем мы выбрать шнурки или нет. Понятно, что можем, иначе эту аксиому никто бы и не рассматривал.
Штука в том, что после парадокса Рассела математики поняли, что с множествами надо обращаться аккуратно. Нельзя называть множеством что попало, чтобы не нарваться на противоречие. В частности, нельзя чтобы множество содержало само себя в качестве одного из элементов. (Хотя, например, список книг может включать своё собственное название.)
Поэтому аксиоматика теории множеств очень строго определяет закрытый список способов, с помощью которых можно из одних множеств получать другие. Всё, что за пределами этих способов, множеством не считается.
Соответственно, вопрос с аксиомой выбора в том, считать ли такой способ получения множества разрешённым или нет. Когда мы просто говорим, что мы как-то выберем по одному шнурку, не объясняя как именно.
Штука в том, что после парадокса Рассела математики поняли, что с множествами надо обращаться аккуратно. Нельзя называть множеством что попало, чтобы не нарваться на противоречие. В частности, нельзя чтобы множество содержало само себя в качестве одного из элементов. (Хотя, например, список книг может включать своё собственное название.)
Поэтому аксиоматика теории множеств очень строго определяет закрытый список способов, с помощью которых можно из одних множеств получать другие. Всё, что за пределами этих способов, множеством не считается.
Соответственно, вопрос с аксиомой выбора в том, считать ли такой способ получения множества разрешённым или нет. Когда мы просто говорим, что мы как-то выберем по одному шнурку, не объясняя как именно.