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

Это не "моя" логика. Это - стандартные логические построения, известные, наверное, еще древним грекам, просто сейчас они записываются в математических терминах.

В ответ на: И хотел бы я посмотреть как будет выглядеть это доказательство.

Прочитайте известную книгу Х.Роджерса "Теория рекурсивных функций и эффективная вычислимость", главы посвященные алгоритму Ершова-Тарского и арифметической иерархии.

В ответ на: Причём я не отрицаю полезность матлогики, но её полезность ограничена, не подскажите из чего это следует?

Если вы на теорему Гёделя о неполноте намекаете, то это выстрел в "молоко", она тут никаким боком не играет.