Interested in advertising on Derpibooru? Click here for information!
Techy Cutie Pony Collection!

Help fund the $15 daily operational cost of Derpibooru - support us financially!

Description

No description provided.

safe2174100 artist:jan655 oc947424 oc only687704 oc:canni soda360 earth pony446252 pony1602269 galacon574 galacon 201330 animated125990 captain obvious719 clothes634364 earth pony oc25907 fancy mathematics262 formal wear309 mascot1615 math971 necktie11289 numbers1456 paper4636 solo1425879 suit9021

Comments

Syntax quick reference: **bold** *italic* ||hide text|| `code` __underline__ ~~strike~~ ^sup^ %sub%

Detailed syntax guide

Blacklight Shining

@B2C  
For any numbers x and y, x > y only if there exists a number such that y + that number = x.
 
x, y := 6, 9  
y + (-3) = x  
x > y  
Oops?
 
You forgot to say that that number must be greater than 0.
CocoaNut

Silly pony. You need about 600 more steps to prove that 2 > 1.
 
And first you need to prove that 1 + 1 even equals 2 if you’re going to take that route.
B2C
The End wasn't The End - Found a new home after the great exodus of 2012

We now that 1 is s(0) and that 2 is s(s(0)).  
From the definition of addition s(0) + s(0) = s(0 + s(0)). Axiomatically, for all x, x + 0 = x. From this, 0 + 0 = 0, and if 0 + x = x, then 0 + s(x) = s(0 + x) = s(x), and so 0 + x = 0 for all x. Thus, 1 + 1 = s(0) + s(0) = s(0 + s(0)) = s(s(0)) = 2. For any numbers x and y, x > y only if there exists a number such that y + that number = x. Since 1 + 1 = 2, 2 > 1.