Ну вот, как я и говорил. Просто общепринятая аксиоматика - всё-таки булева, и поэтому именно она и подразумевается при доказательстве каких-то утверждений. А ты в ходе своего доказательства про это не упомянул, отчего я и вставил это существенное, на мой взгляд, замечание.
Если что, то на "чёрное" и "белое" я делю только вопросы относительно существования Бога - понятное дело, что в жизни хватает "полутонов". Но вот, когда люди на вполне конкретный вопрос о вере в Бога говорят, мол, "я не знаю" - или, что ещё хуже, "я агностик"... то мне это не нравится. Я считаю, что такие люди либо предпочитают вообще не заморачиваться на эту тему - либо они бояться окончательно признаться себе, что Бог (не) существует...