Читатель, это уже интересней. А если "чувак хочет", чтобы все умирали в мучениях и действительно будет тогда счастлив? Так у нас "если чувак хочет" или "как Бог повелит"?

финикийский торговец, хех:)

Ал, начнём по порядку. Во-первых, не говорят "система аксиом", говорят, "аксиоматическая система" или (лучше!) "формальная система". По определению у формальной системы есть аксиомы. И "что-то описывается системой аксиом" - нет, "системой утверждений", система аксиом у тебя в рамках формальной системы одна. Заданная изначально. Но это мелочи. Главное, что ты действуешь совершенно антинаучно.
Факты -> рабочая гипотеза -> проверка -> предсказания ИЛИ -> новая гипотеза
Факты: "верующие утверждают, что Бог всемогущ"
Рабочая гипотеза: "верующие мыслят в рамках логики высказываний"
Проверка: "верующие изрекают противоречивое утверждение"
Предсказания - ?
Новая гипотеза - ?
Вместо этого ты переходишь вообще в иную область - к "Бог, описываемый верующими, отсутствует в мире". Даже забывая о том, что не доказал лемму, что "всё, что есть в мире, может быть описано непротиворечивыми в логике высказываний утверждениями".
Факты: {научные доводы Ала}
Рабочая гипотеза: Ал Ластор даже не пытается применять научный метод и мало что знает о логике
Проверка: см. выше
Предсказания: ожидаются новые ненаучные высказывания Ала, основанные на его системе ценностей, а не научном методе

"когда нужно обрабатывать факты (полученные экспериментально)" - О, чудно, а откуда ты взял утверждение "Бог всемогущ"? Придумал?

"Нет, верующие не могут поставить эксперимент подтверждающий их утверждение" - разумеется. Это называется "нефальсифицируемость" и сходу уводит тебя из области науки и области логики, а значит, обесценивает вообще все твои рассуждения. Но ты можешь изучать семантику высказываний и логику утверждений. И это будет научно. Что и пытаешься сделать? Или нет? В обоих случаях ты не прав. Вилка Мортона!:)

"их утверждение не согласуется с моей картиной мира" - это вообще о ценностях. Звучит примерно так: "мне не нравятся, что говорят верующие, значит, они не правы!" Ну хм. А им не нравится, что ты говоришь. Ты не прав? Хех. Если и ты, и они не правы, следовательно, у нас противоречие!:) Однако твой метод очень хорошо на тебе работает, мне нравится.

"могу откинуть их утверждение, до тех пор, пока они не поставят эксперимент подтверждающий их утверждения" - но ты не делаешь этого, нет - ты начинаешь его осмыслять и говорить о том, что оно противоречиво. Определись: ты его откидываешь или оно противоречиво?

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

"Бог всемогущ => может предъявить планарную раскладку графа K3,3, но это невозможно" - но ТЫ-то не всемогущ! Себе-то Бог её предъявит, а вот твой разум далёк от всемогущества.