Давид (david_2) wrote,
Давид
david_2

Categories:

Математики не хватает :)

Короче, надо найти ошибку, если есть. Доказывается, что Бога нет, короче. :)

"В качестве в дополнение к предположению, что Бог создал все, что существует, кроме себя, возьмем утверждение, что существует хотя бы один объект созданный Богом (это гарантирует существование бесконечно большого числа объектов -- см. построение ординальных чисел в теории множеств)

Сначала покажем, что какова бы ни было совокупность существующих объектов, существуют два объекта, которые в это множество не входят. Доказательство совпадает с доказательством теоремы теории множеств, которая заключается в том, что каково бы ни было множество, не существует взаимно однозначного отображения множества его подмножеств на исходное множество, а значит во множестве подмножеств есть объекты, которые не содержатся в исходном множестве (а иначе бы мы имели взаимно-однозначное отображение). Причем в бесконечном множестве таких объектов бесконечно много (а иначе бы мы имели взаимно-однозначное отображение).

Далее, рассмотрим совокупность всех объектов, созданных Богом, в силу леммы существуют два неких объекта который в эту совокупность не входит: хотя бы один из этих обхектов не является Богом, а значит противоречит исходному предположению".

Во-первых, применимо ли тут "Доказательство совпадает с доказательством теоремы теории множеств"? Во-вторых, разница между конечными и бесконечными множествами, в плане невозможности взаимно-однозначного соответствия с собственным подмножеством, было там что-то такое скользкое, нет? Это то, что мне вообще в голову пришло, может, вообще не с того конца надо.
Subscribe

  • Израиль на АрМИ-2021 - "Эх, прокачу!" - результаты

    Как мы уже говорили, в проходящих сейчас VII Армейских международных играх АрМИ-2021 участвует и команда Армии обороны Израиля, в конкурсе военных…

  • Израиль на АрМИ-2021 - "Эх, прокачу!"

    Сегодня стартуют VII Армейские международные игры АрМИ-2021. В играх участвует и команда Армии обороны Израиля, в конкурсе "Военное ралли".…

  • Эльад Пелед

    Эльад Пелед (Райсфельд) родился в 1927 в Иерусалиме. 1945 - вступил в ПАЛЬМАХ. 1946 - командир отделения. 1947 - командир взвода. Война за…

  • Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 13 comments

  • Израиль на АрМИ-2021 - "Эх, прокачу!" - результаты

    Как мы уже говорили, в проходящих сейчас VII Армейских международных играх АрМИ-2021 участвует и команда Армии обороны Израиля, в конкурсе военных…

  • Израиль на АрМИ-2021 - "Эх, прокачу!"

    Сегодня стартуют VII Армейские международные игры АрМИ-2021. В играх участвует и команда Армии обороны Израиля, в конкурсе "Военное ралли".…

  • Эльад Пелед

    Эльад Пелед (Райсфельд) родился в 1927 в Иерусалиме. 1945 - вступил в ПАЛЬМАХ. 1946 - командир отделения. 1947 - командир взвода. Война за…