traditional monotheism

Merely a translation of the danish version here. Translation keys Domains D:x = things D:y = things D:t = moments One variable predicates Ex = x exists At = the…