## Propositions

### Meta

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

todo: make some entries for the set theory axioms.

—–