Semantica
>А если бы с теми же условиями, но профессор - атеист?
Это будет другой случай. Каждая система "странной" логики разрабатывается под конкретный случай. Мне надо было показать простой, но показательный пример, и я его придумал за пять минут.

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