"1+1=2" (100% Fact)

Define the set N:

P1: 1 is in N.
P2: If x is in N, then its "successor" x' is in N.
P3: If x isn't 1, then there is a y in N such that y' = x.

Define Addition:

Let a and b be in N.
If b = 1, then define a + b = a' (using P1 and P2).
If b isn't 1, then let c' = b, with c in N (using P3), and define a + b = (a + c)'.

Define 2:

2 = 1'

Proof:

1 is N (by P1)
2 is in N (by P1, P2, and the definition of 2)
Use the first part of the definition of + with a = b = 1.
Then 1 + 1 = 1' = 2

100% Fact


And now... a super-fat penguin:



(Bigness)

N.B. Real, not shopped.

From the 100% Fact challenge. See all 469 entries (closed)

(Ravenous Bugblatter Beast proudly touching ham since, Fri 24 Oct 2003, 21:24, archived)

Woo pic
but I can't be arsed to read all that text.
( King Ralph is drunk, Fri 24 Oct 2003, 21:25, archived)

That looks almost as big...
...as two penguins standing back to back.
( Mystery_Bob, Fri 24 Oct 2003, 21:26, archived)

Odd co-incidence that...

(Ravenous Bugblatter Beast proudly touching ham since, Fri 24 Oct 2003, 21:29, archived)

he he he
:)
( Mystery_Bob, Fri 24 Oct 2003, 21:30, archived)

It was a right bugger
getting them to stand still while the superglue set
(Ravenous Bugblatter Beast proudly touching ham since, Fri 24 Oct 2003, 21:31, archived)

the commutative law of addition is much more easily demonstrated
by way of two identical straight lines, you know.
( bananaman, Fri 24 Oct 2003, 21:26, archived)

only works
once you have defined everything to do with it, and thats not the commutative law, the commutative law is a * b = b * a, where * is an operation that the field of numbers your using is closed under
(vt8879, Fri 24 Oct 2003, 21:49, archived)

bollocks.
if i have two parts of a line, one longer than the other, the short one called a and the long called b, and i put them together in the order a then b, i have the line (a + b). if you put b first then a, you have the line (b + a) and they'd be the same length, so a + b = b + a. 100% of FACT.
( bananaman, Fri 24 Oct 2003, 21:53, archived)

Yay for
fat penguins!
( splorp ®, Fri 24 Oct 2003, 21:26, archived)

I must agree !

( Tedmus, Fri 24 Oct 2003, 21:28, archived)

Why does this penguin have a white back,
while all the other penguins have white only on their fronts?
( Kamikaze Stoat balanced for lean, Fri 24 Oct 2003, 21:28, archived)

Quite simple!
He didn't believe that the paint was wet on the bench, the fool.
( CTVadim He's pretty. Pretty AWESOME!, Sat 25 Oct 2003, 6:32, archived)

maths sucks
maths should be smacked over the head with a shovel and buried in a shallow grave. for ever. nice piccy though
(masterbassist, Mon 27 Oct 2003, 8:28, archived)