Это к вопросу о том, что вера не может поверяться логикой и т.д. Недаром сказано ведь credo quia absurdum est.
Или вот еще, старое упражнение для развития неформальной формальной логики:
Бог всемогущ. Может ли Он создать такой камень, который Он не смог бы поднять?