User:Abcxyz/Sandbox/Real Numbers


 * Definition:Real Number
 * Definition:Real Addition
 * Real Addition is Closed
 * Real Addition is Associative
 * Identity for Real Addition
 * Inverses for Real Addition
 * Real Addition is Commutative
 * Definition:Real Multiplication
 * Real Multiplication is Closed
 * Real Multiplication is Associative
 * Identity for Real Multiplication
 * Inverses for Real Multiplication
 * Real Multiplication is Commutative
 * Real Multiplication Distributes over Addition
 * Definition:Ordering on Real Numbers
 * Ordering on Real Numbers is Total Ordering
 * Ordering on Real Numbers is Compatible with Addition
 * Real Numbers are Dedekind Complete