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

-----
>todo: make some entries for the set theory axioms.
-----
=== Related ===
[[Logic]], [[Domain of discourse]]