D: Beliefs which are build from the combination of axioms and logic.

For example, from the two axioms

we can safely deduce the the theorem (or belief)