Differences
This shows you the differences between two versions of the page.
|
strictly_positive_real_number [2013/05/14 23:28] nikolaj removed |
strictly_positive_real_number [2014/03/21 11:11] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | /* graph */ | + | |
| - | ===== Strictly positive real number ===== | + | |
| - | ==== Definition ==== | + | |
| - | $ \mathbb{R_{>0}} $ | + | |
| - | ==== Ramifications ==== | + | |
| - | ==== Context ==== | + | |
| - | 13050411 | + | |
| - | == Requirements == | + | |
| - | [[real number]] | + | |
| - | >I'll have to check which set actually comes first in the TG axiomatization. | + | |
| - | == Generalizations == | + | |
| - | == Computation == | + | |
| - | ==== Elaboration ==== | + | |
| - | == Reference == | + | |
| - | [[http://en.wikipedia.org/wiki/Real_number|Real number on wikipedia]] | + | |
