Чтобы понять искривления пространства-времени , нужно воспринимать реальность как одноэлектронный алгоритм, то есть когда электрон один на всю вселенную, когда атомы абсолютно неподвижны без его помощи и когда за любое взаимодействие между каждым атомом вселенной отвечает только этот алгоритм, работающий на скорости света.

Вы так и не можете объяснить, почему это бред. Доказательства строгие, аксиомы, определения и правила вывода никто не скрывает. Даже полные формализации есть. Можете найти ошибки в полностью формализованных доказательствах? В доказательстве того, что каждое бесконечное множество бесконечно по Дедекинду, конечно, используется счётный выбор, но для доказательства того, что, скажем, множество натуральных чисел бесконечно по Дедекинду аксиома выбора не требуется не требуется. Это так, на всякий случай, я так полагаю, вы не про то, что для эквивалентности нужен счётный выбор и не сможете привести пример бесконечного множества, не бесконечного по Дедекинду.

@@clopendoor Объяснение - проще некуда: процедура, которая никогда не заканчивается, ничего не доказывает. :-)

@@Avgur_Smile какая процедура? Есть аксиомы, из них следует существование биективной функции (множества пар), вот и всё. Доказательство это конечная последовательность утверждений.

@@clopendoor Аксиомы - это некие утверждения, принимаемые истинными, отталкиваясь от которых, получают, следуя правилам логики, результаты, которые считаются верными. Сам процесс получения результатов, называемый доказательством - это процедура. :-) В частности, доказательство того, что бесконечное множество N и его подмножество без одного элемента A = N \ {1} содержат одинаковое количество элементов, производится путем процедуры сопоставления элементов множества N и элементов подмножества A. Эта процедура в случае бесконечных множеств бесконечна. А значит ничего не доказывает. Логично? :-)

@@Avgur_Smile доказательство это конечная последовательность утверждений, полученных из аксиом по правилам вывода. Доказательство всегда конечно, где Вы там бесконечность-то увидели? Доказательство того что N равномощно N/{1} можно провести следующим образом следующим образом: доказываем существование функции f(n) = n + 1 (выводится из аксиомы бесконечности, булеана и выделения подмножеств). Доказываем по индукции, что каждое число в N/{1} имеет единственный прообраз относительно f.