Theoremdex.org
Definitions
,
Results
,
Conjectures
»
Set of symbols
»
Alphabet
»
Deduction system
»
Theory
»
Zermelo-Fraenkel set theory
»
Set
»
Binary Cartesian set product
»
Binary relation
»
Binary endorelation
»
Preordering relation
»
Partial ordering relation
»
Ordering relation
»
Ordered set
»
Dedekind cut
»
Set of basic real numbers
Basic real number
<No formulations for this definition yet>
Child definitions
»
D2137: Basic real golden ratio
Results
»
R4261: Basic real binomial theorem for exponent two