U okviru matematike je svakako:
1. Ispitivanje da li je izvođenje formalno korektno u modalnoj logici.
2. Ispitivanje da li je dati sistem aksioma protivrečan.
Čini mi se da se westocean ne ustručava da daje nematematičke komentare kada je religija u pitanju, ali da izvrdava matematički deo.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.