Non-negative real number - Axioms of Choice

Processing math: 100%

Non-negative real number

Set

definiendum	$r \in\mathbb R_+$
postulate	$r \ge 0$

Discussion

Reference

Wikipedia: Real number

Parents

Subset of

Log In

Improvements of the human condition