${\mathfrak D}_\mathrm{Propositions}$

todo: make some entries for the set theory axioms.

—–

Logic, Domain of discourse