User:Abcxyz/Sandbox/Real Numbers


 * Definition:Real Number
 * Definition:Real Addition
 * Real Addition is Closed
 * Real Addition is Associative
 * Identity for Real Addition