мысли об мысли..

прошу прощения за мой словооборот, ибо .. вот так)

Посмотрел видео, где Онотоле “доказал” отсутствие бога. Забавно, посмотрите:

Онотоле ссылается на теорему Геделя о неполноте, глянем вики:

“Во всякой достаточно богатой непротиворечивой теории первого порядка существует такая замкнутая истинная формула F, что ни F, ни её отрицание не являются выводимыми в этой теории.”

Примем за истинную формулу – саму теорему Геделя о неполноте, как непротиворчевую (по определению понятия теоремы).
ломаем мозг, клеим и красим, и получаем: теорема справедливо доказывает то, что она доказывает то, что ничего не доказывает, и так бесконечно. 
Почуствуйте это на примере: “сейчас я говорю неправду”. Что правда? то что я говорю неправду, или то, что это неправда, что я говорю неправду? 

Онотоле доказывает отсутствие бога тем, что если он допустит существование бога, по определению являющегося конечной причиной всех причин, то теорема Генделя закончит свой цикл конечным результатом и станет самопротиворечивой в теории. Или непротиворечивой по сути.
Но тут, вторая теорема Геделя:

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

Подведу итоги, Онотоле.
Используя математику, ты нам доказываешь, что используя математику ты можешь доказываешь невозможность познать истину, т.е. “конечно познать действительность”. Иначе говоря, ты математически обосновываешь “бесконечность истины”.

Но. Допуская “бесконечность истины”, допуская существование различных систем познания истины мы допускаем бесконечность и систем познания этой истины, и бесконечность самих истин, и производных от них. Таким образом мы допускаем существование системы находящейся вне нашей системы, и от того невозможной для понимания нами, находящихся в своей системе. И мы допускаем, что логика (математика) существует лишь в нашей системе, поскольку мы ничего не знаем о другой системе или системах, находнящихся вне нашей.

Иначе говоря.. то что мы тупые скоты без будущего, мы это и так знаем, но ничего ты не доказал.